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 !|<< ]]]HOL-Proofs:threads=6elapsed=628.483cpu=1473.672gc=231.268factor=2.347zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb^  7A44mm#VugEC  u B{!4܂$b9hCYN rn<@!!4ZM w%0 e}z {9 y5;2_F, ٰ̆XEuTkR˸?t %j99e M3#)lpf& 1 p~ŵǕvuw_U. _>LjugmZn$ Ǵw(ʥ?4%Iv$)ǥ1kbAZ89Oaz@XNE6$*瑎wZQUfb:)'JKIrgs;.@~2ΚYa!ԥ56ٗS2&>i؉1@eyҢk@;|roG^ږw W n̫]>s\'ӔI(vJYVv͑iE1$Ř 4O>Ƞa*D| LQ1!|cp,M0&q}VբΤjMt%2^]Uqds"#vNM-PhDإȉEտJuk}%Zj.hw_@a8ߤ-FuҾptjgtk M }K`2j||4}cB5W k̰}}j=@| bZ =#0$`n ,nڌmҶj.? EEF.iqăYޭnq )H >#"Z:ꋼ.pFӲS6~J5Y(PHf9OB'.y Fոt}M D_H6K7cJ4\A+af!9F=( *2_ߣEJHcI|SvC(\1ٱ:1O4#&Q#ϱL8OlbYJ.XRvf<*O 6R (:"ήdG c)/mwQk.ɉ""o4 lEد孓?A&WDN  fGq|QEt\e~]N% ,6#~dͦM.Ŋd5ȮrpWDܐM5\%A9RʱT"iկ>,rHm#3^V*l:߆<&1Op8 .ܣp*ؗϛ6H"g`=3וLgźܽ*:_y/)OK-Cʔ-&exO_hpo ͧW/`/ŧl޼T.$g_ҚjSp5F v7*"ɮn 3qaBK46Ypc4wIWhN`u+T4R!9xjY1#zA$qx`١h-܍rR\6  m`I(K Z wcr#RBq+90=RGfLub0kc}F6Оup;aV|B93l8w!'/]Bs( h3q_P]i&GUe~G.JJfqא(x=`oOA.v9 Nmx @*{DyA7IjC=v"ItGRa&ñs ?'"xT/p@EZGj=u]̿racbb i E uEzJhQ d㎆tc0zG=ۥPc,8 幛5&d4M Cw>9ʂ̀v(Vݮ-MȸMvõyu÷?Tʄ=G5&:5kv^0h*_rzrns3Y=xqDeFOuD 5BG05t7 f# x/i7KqG$<†7D a^gItmL&P^C?Ǖ_=ۜw>3c3x/bI:a 1{ndWR " ;Tu R-%Cx3J+jUFm-~CO_PWvwQӟIb{>gj:Ova4տ6phQEt2wÙ b 5,u: 4MC?S7 j#\gV6rI$YQB =]V'g:wbDPj-· p J0T vO>~{Qdr܌磌"RѤRM3boNћɉZ$:YmǐxȳS/~=DIe"Fw %qڡoU01RkM{  ! HOL-ProofsÚrd[Ľ"!OZ~$hb`ԍ"OqP ϒ˫k XSy-nnA˦70_bN%B|׳ $N*t9U鸍C%j Aga2z G٨P cw3wkF|>/*Uw;&E)gji:&|s -^IB&2kkڌ'˄F,rU>@k߻jJ$ Ɔ9pZjX!uhFHȰn8>ch, ҈TXOnB9e}PJij,~TSd*Il`+JwZiG"gJ.+>=d?"y:m#@6TkK©zup<( 9+ z1|੭isũNLk҂ _~ _`R֗ABǻrrLȉ:y/WޢE{YQe9ڍh DC 'G[oKOAB9xXg ^P;Ǐ(6V, 2Es;Z0PI7H>6bts'PI8*OSn"_RN,iב >1kCh/mF֡nmF pK-Cӑєnk_6 oF[+OP pTz?KS$]򦠣X0Vj2)""m3o*&Fm\b~ƏbaB>/y#">>SRh[-ŏЧ꽒5'!I}Ƣi.\ ɒ5r%) ~u3ob.{2wݗzk^"Ic*֮P.꟩>nO4~3x#gmw)7M⭥SpDGTmF ~X B*)r]zF>ħrXF+ף؊,8+*e}Rc,)L1ȔݶǡġJ6},*w;j h(=C`Z6hCuQZ@ڮ[`Ƈb0 o:Z2d1x)3 歷E$s34މc\.D 8J \g\&0a(VCfCyl.>+(!F9+VF}/zm x5q8TC)(Iyܷ/^c %g25 .M}iF1ii+,?igwd)jWn ϼ_#LH=S?C D/ $f4ˀ&=#PBMJtft!rswR&ޭpw઱?]Ԟ=j_3\dkcd#&)x<#9Lt.2e@ͯt LW; 7(%g#J[D/A >%'f=g;̤pi4%,D=/Pb9׭/V:$uI6m AXS : q@gGrqQmKyO2- (2ˀRÞ﯁ș$IߓucAV5 u-)5>/Z;&{nNU8[BczbLFC+kc/ ǎj>s6oţwŜym4fI ]Ƶ6jG=}(3G~ixFzt='?|\= hlb6?V7H$~k>]zkm mhRٕ~>پ lvN|IDYe~c.HVo~/7Z8Di! 䵒p.%Gl(syx8"I";j8~bEĒO}qG2jm;LC΋[i5F܅_|i&h"d̗tb,*(^D<~tj&S]ftŌmߵ$oАiسLF Be/ (tW PRԶ*[|yZ;S[<8UM0oB#t yw=&dPƸܥ@;UnNu3EM!!*W8 U)KJ1깗]{[MUeVdeŌ) ۸2F'$[P}VʐmxB\c܄#/FÁ+%g{{JMop,aбG(_V@vtsT<ӿ?u֤|P/b /`XQ-;l.:)QՇ\wG.9.Qs*.xX!,ϣ_E¤4V-qdX#aX5ko$GK\ਭL۳mS=˾Q;/_Z:V3"u$FgzyxJpHjz}i%mJ{B{؞ӀiÙ*D=X,!Idax{ZS8Yxnw ҙJ8rEA5~2Jk~ ݹ/̸B︗kg&}Oi6P}}my8&{ju tB0 *^b2DD\R 2A=gYZ7zXZִF! {|]ŗXi%;0jG#LSH]]d}"V~+X!fiF4y Bw1EYU~شrI{[$|c j3=I𦀓p$ʣr >2EH\/bbu]*}ΣB$vópЮƒ Fdiu2\")-`XJz?4@l>JLZ~A& c:!c[ ̦,Ms%-+^$i"&fXp."[D7 k<2W]0#MYOdi0p9<"[;=_g^`C'oxOLyhS5|Qыs_YbV+֎!–X;JT6_%K/C?'.#0lnRYƛBNkBg ƨĕyRRɔTtUc6_?1[EXn/;ek&O.0 zF#.fAKݐUcQ>ϫnkwP0JP̻S?s=nq&Sӫ*vrQM]= 2peo>V֠Q`5gB]3*kحOCIZ5Zdš> }րsk<#x΁MW&F֌`F^aI ~B hXO%tpCgwҞp+jˀ~o7`挣5ټ HO`kd9* h|O++z '@hVHH[l9H( /";}4-WR،:G%-L*,dž$w%`̭ U-v{/X!ú;J.s?.Rd?/6^ \DpS!co6J> $2ﻨ+ X$NB G6x"ΰ=(lus=[q;QE%G#U+ c6Kd "{ڭg40uͲ#bsI蜇f?Ua]Q).èBv2i0Z <ȭ&BAWtp nZZ {ǚ9#X_oeؤSRz^^JӨ|P5g@:ۜnp#xr,e)XȈ!ll,-E>ĕq:%$sQ${AbEi@X!ZEgXW P[ z6IFپG!yK>s( &]6stmgUL+7Hxomib {2tuF ]jxMf3YWs5TݚC(o}bV-W* x>]^1lyPnU͑S1F$ѝ(/ձw=mo=Ζa}9qu" wbJwޥG~#w"|Tbp%O%`EKV:!H+¼/s)n9ax4 WVGa#X벧Jиo[LKɥ0bu2Wo,dIkzzn"'۔ Fmjwp\piAAVVg^Y!^}#*lflV/Vaa̴5(c)S5KE+gy/ oc*X[Sl$/^Jgࢪ_&F6$glꗸRYe{ܮK_yϲ Z6Jo"$ ]f 0hg| T+BaVL&e> >LC9 %R[3N.ӴDK$FA|nwf.`o+-zuT~ԙa%'s(5rjH`Rw@SkxQ( Q3VD7pS–xcWgԛdk)(RyB TkDP\&g\lӂ)`P0T_i q^]ZTe1{2xCf/.~89(WK<Eas􂺚bQ{ ъ汦RM\ *¿"s|PFKvtI챋5M6d[ȿՖ1l!ڰsY?(X}z-9G!Mw g'w{NV*'8;Xz)jlR=o(w+w#Rl0<XmŗfS]>F͑}{\;芡YF;VBc6_U j<`iSfP)w/8dXa{%[5<)HKJ q?12ufڄ1RH*UrKF"&d䟃OdzgG&44{;Ǿ_ͩAl8E(;gG^}a u{c) *fhm}KцtLvLfb09nV Nn'ߜmWlLij qʖ0U COaZfxh}a+~F'cd;[Bl"$FSڢAr4T)D)0J֊ءBɬV{nk<;3]_W]tiW6nq7ŽOttcoܖ\oD`Aŕv FIh7bRZʠG'3{y#ySh_(Ji5gL(SNR3;51 0Ȃ{#z{ ګC vYcZ΄VybO|tG%.-; !M/9UBp?!jѷ?-٢zԊ~D W79#aNJgzHCӄ/pɰIlxC/wBpm\9wI3\WEQ~|DN7[RU;5=U(5}EiW:d5ޔ/JI/),k&-&_ϻ|1UP\TEԞjwO誃/z9i)zǗ~esl 'S\xQnoPghofO=Pꀲ=C~`*rMb5@Gqzd${Q5zBv'ø.;8vXfKB !;3u ϠwNl X',[H8Bf4o9s9ak> ,rGvr3¶o"sL  qDң- c>& BnXvTpJ*\{ ͟huf lM۷# uB"j(hJp*ϨEsMkkm<rWm4d_tk4 >LG]~[EZ\qc& =OG$~.[AqrQѧ'<'-T*CLdbD> 0V",1=q :F(.u u5&m,~'>nԯ,/x We qѠoXsuX 2$Z4<^B+$6Hk;"4=\ d3Af2>QӋIMϗ}͕D!(mPE?ҁDvW#n֍ڎ,@ n'ms C@s!Mgx1/Tc9+du!T-CI%$pjD_ߔ D+E N8ǩo˿H20"61)DŽFPrc#l hinAKͶ11D' $1ءM%ƲW_3 ?R "CrWMR~nGADj Ξ _Wn;EfC;_v|G/9jeHu)u6#'~JC.<Ί+$0M>IXp A9g5ՄD5tE)&…+o*6^] Ѻgtkΐ%{@K=#J0 4?g)Cxk8B'B?nK [s"b4g`6yݩǣ-}WGm4eH]\ܘ2G{{7NLVqʝq|p*Q?R4g <|݅Y<<ݦVo9РS׼«r޴!{f'*1^'!]vD( >7 S7#yw94Hs(Ȕ"c`) JۑP&cN˜5U[5$[[~HB@ uo's_!y1 2ՠSz] _@:=I*B2~ړ:cW*ʒh ReFƬ'?NǪzOm3zo+1Ks+ u1( K2AcGl$3OS & ~Wa^BvڬZzlcCvUǻ|9|q5DoMbPѦYJվXҚה7SWC7"c .ܪ6F4!(t%A1Hy_Bcvوid},")R*\gA!GDcfL&?\ zL"A /?#,ʫ#$LV͂ezwim̡t`Jyçg|>-#EH\tGSQZn+m7>e4Es ۉuPgJ~goXNrac]XgPu4|6|stne,GDۤЉV2yTCE%-5(B{ST̸F*{ rhgUuCŪN[|K U5~t2=6kWh9]w$̽-W<5iWqr%X|P2;Æ j64_ἒwQoLPnK[4`g 㵵 'N{+ "5S{Ox?LIpWﭰ :G}i)EfwO\`gP̲̃eG9\>RGuo*}z,WmSl?V Ej->+cNVc|31 ϶NY#a ֪(.IzZ+,y)Wjʰ@*]WCe,C(WCl@K^3g.4sz/qd| :W ­xwMm4l9&Fv&}q~ƪ@=$ @ J}J3Oɧ;(R$ j[[LGCP9#F 9iNHd '!J{4A{X z[S>hĉSZUN v&P5pT$; %ܩ>fMTO'=:TT<}cV7 I=zHZo{f\~4"[K26.|[s"r@?pbnĤ hi0"d Ny‰& jwdPߌ(\l):cB#˔fd}?Pݸ[@Czة Wph A? ce`G$0&˦G>2X=Jb' -t0#;X(^JQ ADF08_M24#!UyuAj{U~Dvs]-:H|z@MlAz9I1ȇl_Ր XONx{&aD=h>A`JLVb1NX-߈GV5HAOdzw";1YȋV~F~HȌV{< #-v( s5ab{dz5.:]m+n.dDh]P{pP*j"hR~&?LXpȳUasQnGP$YSo&kX"UљTaIѝ']Z Ywd[%T-\KUgV #цƆؚJQ,06YfakaMN-6W+ `vwF]"j( |7p)ILKSJಹ\۽xT6–.eSۯٙ$7C+ ]jY(1{lyfTz7~c#xglÑFL7_ RDn Fs3|˻dO ^0Hڬ=]Ή4ҝٽ<l.G|)A؛Ѧ{ֳv0zep8^\0-elCv˞a=m$} &.V1~L*D&$j8,RQlÿg#.]yL80j٥d"eJ{C!b7<춢YScUzԭ-B/yywM:yWi\`R%Zې13XSBh1pf _z9͞տ|} ˝;#K#^0L{f]lJ=>b*!Ab!,_%gwu*H.#ᅑ$j[*O?<MKj*2T 9ڷZ PǤ` ``Y3=|!O\bip#t4؃jF E5˒_0x#TΖ~v8pۚRus@wt69>`?Dw$ GM6^Bgdٚbzɚ ?3R^v(Vffؤiz'wL1Aj"ʻB)v8J o~kZbuYH\9,毎ŠnA!U_&* X2EwD{E6Is'}aJF6}tO0]lM8ySs"MяVR3ԛ(FVPa_6D@x]9x!GNќ ^:v?hnH|Yt 1;%(>B&Ηt!m')ߋzn "UʏG*Z꽚?i"Kbz/`4 a~])7'U4h%h^՛3EcdFVh&Np;h]qщ1%VC6))AS%[(OtA N2ާ/t<ҍ+hL42 zfRoCZp;tx)l֬hmw1҉vB#„Qo:ψ-;߱m1)˔nMրd9Jģ ڬr>$NE.!Q9O^[cc~2 MX\qHIQERca\wZHL(qUMͷq_:9"^`6 DW[Q_UR[t O K+%՝[10bRtm87Mu.eW,y_01\HqQo8Z]±gX%܆Hz?M KHngeW{œ[y}֎^))6k|^"Y{{-%uڔ%4GfzΆQ4fA:ݞ'! :n%`ޱ`F)@W>c um"V4AeT(̙>O ~6JRۜfrN{x:WD.TK袤H _S&[g`qA$LofvX~q_i9ͼb#psɕ6xhp*lM륝 DqQ]g0QLU('&R]Tꉁ4kz_b6U:}չ Aw28I>'N_%B[M05eĘ4ggd1"p`Qr6Ņz˯z` zplӇz,{"}gKi:e@(X˪ /l,ʐ@UbXv 2+NLȵ/2ٯ VO&(vD򍀙֟1׸=6ˣԟ'!JM7#2 Vht7z.UgE[LXaeO{~]䇰ES ۼt~K/ ch׎U" ` Dp˸bBtk~3<;R]۳C!*4LYtHW>Irwoh}?HM0 Tz4e$J|s'x>J%`}(aS/eRxZzζ_G0ȅnE+sҫfoˤ8,Oa/I>ǞpspB-{32Ix7G`>_aG"m Ske)XZhePIl¬6% 8J(XXAVC ŵ;/"ŶkdzEKe|0$-6{/fPcDyW8Xw+1nX|akXvmzv6'8&FPc9ϼ`W:sG]@~7dvѧ4U3/пu90ՒbKY'J?)*ï6ZnI JzfjecUlK\MoX_ 1.Q:yKI |'xmM>t!fѰ&>HaZ1O蘻#0 Q=%DCm!0-6h*3.M1^״Gr-'\/v|R^W'/"¾DRgٵƅxrAL81)AG,O}U5t^MgwԓC)8i/$)g>6a=Tlڒg_3W8܃ۥA,`[rvzdKiT (D0_dn|Xi=7E;qw4XFAJLrж߭s]Ǒ=ntrDuqWF]:YGA7P5I-#H U)Vqmr Ğm5ѥ_o%1{uYPM oO `T'UK?^p}:(?N@رT!Q T8PS(r#-xqa,E==#ЧW\#z^M}8#_oP.wF4_~f%7+=a<˘gJ$TS59bm""rVQZ9IY^99{&w4^7u_⌆r͋C/7op\J|+`8tK/c _Ta8oLGҪ~g_/|Kx>YQN ҄?29»Λu95k IE3`tV972cUZ gga8px;~/oДM=P6~d ֨ghsb1@|Z.lو&>iƟ:I vs)S}ח.zS>4"j1ٳ IS_(UTaR=Ce~Kh`vܛ;q1l^D2K#hLҭ dž[ ޣLN. LJulݒP6st'K NnWžF"in틠aA: }̭gxTY~HIϝ}uҪ(2%{ԝ08cI>u :ٺpk8,R+@lQy-򣩅0oǘdn~0FuL:eVD}%D~7m'!j.27rLjF3/o6گ،d7d 5mzjkjV1}X̋b^g `$h ql?ZU|8N&STWT&bH 9 k򬥈]p$>MTli@FJm_FQ-u-LB-beE$vOlc ZxL( Dv?HbL~fnj܉jĤx$, a]c}Yٚ q&KliXI{)w37Oگ oMA3WƬ_< aD|Е٭h!;,OAP mL»8[Ғ"ލлV=<(צuFS[ce]'ʞ_vE ~;CNܠ=ȝS1MmĒrMiQ!4ZxU~ o_gw!m,4r!K.IICۥbcEb߫] gB#?GhՇ5 4[;6mv;tȍWڹ75aOY]7%X8sW'XĸgJ/ r^|p Gl)! OcCpug۶~@S' yːKyJݚyë(=Uu? r *:*Q݄Spڪ{ik) +G0L$#pTPj }jd{c߬gyB0>f˚CQPoO]_.`};ͨf)Xrm#KC"x'Rr>|ʺp/,MϷ5Kp~UHʯtpZofd4I#tvah=V _AETuo1l;mtpbcT(}qA0An:}8Fd1e;k,mk˂J^,7hvfUZβf I 516lNs5oC_rRys%,ԇlbhp~EaE~pج-ѩu4TKQ]WŲ9B;;@;X(=fezDu85gZN9jJUVQ/|6248q%"$L#Tl|7ҊJ%w QB%,35).Nj'Yذ<͎W QB]hW+%Tl^Tf鉣9B-E貜>=ZdSM䔹@ԫ0~4n7O 6 O}TIJ]QZ}z~~2'*Bw|[vlkm!%>.g,1ܾDR*jeie}0I`S~#>6:p[96I92HWb%)M?Z a +ZjX-+(JYvx+ VߌuPA#2`%sH˟2A__u&O.߻ƨnh/%cJ$PC‚(u#𽂸J *MZ C"e˹{I'4Kep2R si |f0eg>74ΡJ!%Eq]9P9æ{]ڮrP20i]oiL#@TMe7]};ʔXfb ̽s:L9;[}h mKCv3rC/Bݡ%ӫK,>9EFLXgLςd&ijjRՕ»Ȋ-vxmԆMûO~F":)~/xBi@;Y O9n\ br%y<ȺGq2: *4 OnjlC,\oA kDħ{9uHT[Όźkα`pwQ@͆kmSOT&G܎.*&J5[ N8Zÿh a)cZ;ۜuW)/љN$)ޥz* 5a XRhi/0r1s{XցI8cɕYxut(H FMd+{r $B0u_|huiμrī HL!3i'fs|*źuyEMtHRaqO6/l,sMb+@tR%eDA,^s-Nj6̨U-S pvh!J/f 諐TE}F]b߼r=ٍjθ1U ,\%YO3ȐJxYh5[r G%reOgES$1촊\Q_`,|E$rbI'*|IIz:2|q+zU顋9h$G8s/W:8~ɼiD6ݹ1L"\ QCi?uw~96?Nm S+ <ϱIʅyPR~Q6E)d1вzF¦1`{ pE?XՋ6C)LX5KIw;CPC<^~p04I[4F[sQ۟{ ׿x¼\V0ъ3@u7ngĉn\ :TA1bITzD<^ɚdOiS0Xaf%, e I2/O#.a~V}PPYb7Bk}VW=XVלTV/NU3_WHW>׸Hϛx-)hzuR %ѲX e!1 OU,oZ{:qPX ?2\5xސ_!O} B+?ȍw@J0(^vbmӨ>qR^^T`dx&TRA,G_鞹FfW5U»M=Ϋ@|+X`!Jd6F~C]!ai5rI|;`j<a"+ Hk FnS3O#cFY܇vӠ;#P;ޑAvݔNvD+CI̱~kVȎ_ x9 ޢ휛l3r8Je{*b TTY r2wq8yG ZwnR SU3Iz#⻊`8Qbb!>dȖv^䖴[}ѫ!3Yiq]V{G%3|hц!z|35J6^ս}22>punő;2zN5O4ƱQ&j\; } ɱoҩ. IKWYL1h:e3.2;ퟑ^AW0Ա4Yz HO\'6"~ .\>K8,ZgWnb3ƔFp˺ۄl흢˖WQa(Iy2:\]aDXgsAɌ`wفj}NjՂ2IQQ$/@bKϼdl|I216Tͧ3"e5be43^Q_g'Ys0M:`<(۪Eq%OyVķ} 4ISJƥ@A,  c=Д8-P恷}NS;"?s`cwc׷BN H8s4 Xn{\T[sofapKG0CsӴ⇖!~%.~-[XEv( Jj ߈PC2g6h M9 ֪x֧-؟ 4Mp ,SDT:v^H|eaK@0.}w?6c0p ;ji 4 9m P+9*u</NnRU6E8BP %&W HHc,:}-]AUFSG6` d-g't@PDAy;~BWP66r$ rZ-Vo>d"$WȢ^HL ˽|_"Wu񉡞]F !3 Jdp Ql@T!)Wߪ =Ud4 v&;?ayddTV:3.d씭9a$<4ܯwcI^#`G2}:-}bqdLA#i﬉2_4pYpZz5@&ѳ"йVWa]b_o=V]&PEƋ3EcRj$|8Ǿ[ބVk^g,dγ,dwr|~!I1̬;dI1s4CxZԳrŽV^O¬pVբc*+)O,l6_3{\tJd5|iWz3 ݁H2iq>cúf`,z؂ɆlDe,8s6qk}$\_Ya8VͱGRZ@KliPgc+6f^NȘ) i#oJFb4 mCg}1:I]a|_:B9jwn׫{.qT[{0SK7l, ُU-}Pdnl#D.,Ι:lzQs(W|7Ou@rșV[[q.|,xp͢ gˋd"^L*[W[R|jj=ZRu-31߶VLMXl79@u˗='ʯ7x,ɚσSL1Cx~B=,uI5|8}ͷ@Jκ+p T8YJZ wFDw]T(DGI$yɮR7 ݥRpQ$<Qmrod-},ubQT XlKRuQ_=^\+RȼpGkztBQѽb3,Ԭ@8jR} aBqXZ"'m2 & ~G!~J4q]u{vڕ̥ TJUj:˿/Ȼ-C6c gumhB=c$2qqQ =2L1͡}^(b_\k<~)YB]oe{:5և jx)Zx}R_SH(!B$nRM:§M*0IZ-c+ju_cL1&| ; %b4,F|67bOTlBRÊ{;3FഛX 4#11 :.ӄ Av ` x3cGk"%3m~@K^ivw`)Q=mEh u~"-1cC2+A1tY;wwZ"t XG/~6 C%6v*V~n N cge!>{qmDG -qQIͽ鐐oуe2Ymozߤ ߼_2H,Ƣ A  WgM|O퇈TOuh:ZD&ㄚ4q{TPnʗu{Z3Xf142Ubgdt/XPFĜYOW!E]Ǩ u:z3g߾P1f-mE>QjbRM[ mgQ Edg[uTY06<7) D9 YD^|u@ ԚChaT]z)8%V U"dy :)d0_VHgE r0h%S=VY"6JG R !5fb^[,btV7k°0i$ði4~>ި \d#N%C3ΊEc5C5_*Q]\ƴM`Mҳ1!&:V@~}vh=-N|aK 2EDxrLh-. ՗f R]@Z=TG}P% fBX@/h#5KT+[:Qh[ ݫrn{>6g''uw Xiq!|̬ȲPtKK~,k  h3ːzïTJ VfY-^ܠ-|#7BB۳ᡡۨy_u#8lK[zŖ:øY Y86E +8vx@1~G7"!/]xя0C]3^{Mg'Unh[%q]KLS7JD آ~̋a1@84Y;Dk:gk cߍ x ;) P?)*!VoP^0$D'Y&\Ә@j{"4їt|34X$/ ?Y/`bQ͵}wVIa~У2xv_J2|%%5TN4W0;O]wBacfK ߁ %l*5T2*Zve֬&Jz{+p6tPaNf$믠F4YH?s=h7)dhBU1X=MIFQ(cl~߭gm.䠓oϥiXc7ܷ$]#&F4qegJzNhXl w$\`SG|w$#ТگXV.ɝ:d']t/'X,JcPHzqǔHz R >nhm _ =,'p`;hOg\?`,"|mvi.륗YJA0'g5ݘ'iFPMMi.- [5LsMd 1nG|UT{ye>nC)'y@=-$ ӷly@o\Taڍ8H#%LA텫b :œ2%muuSAuߟY ?a*sΟU&g:"bIsYZ@t .t}ɳ%1s雷ZZK m/ѺEl\.R fR-3^ڝ(anw-U%#+qTX%S0xO|ⷂ:Sb0!munK,(M 4&}QㇸKte=.a3:(z*JK_ #AK&-JWƘ i#INOvCJQ|' 3q'd5i?*ۮiG%m\.!>N0_ 3WH߳ͪQnLrNAd7H1[ o0#j5t&_,6OW2c{7Oc>2<;M,p{0Ч':EzZN "G(KYs> id+;Iuz:Ged|%+ZLj+܃GZ{~^NO%T{==j*~|_f9/S+Mh$M㏧6c%-ҥt >P9E7*t8(d >#y@]oC.BN"(! Yyxt婤Kf z^ k%bEqŮVY=աme+Uݑ5%g&X K# `5&K]YG_}ܾQeZX[4IE.)@PPaeA DV+8c^ PMl\G#5,jUo'|huLpg? {P upl0[d2&L`{E6kZ\,$y iđ(Κ[Xh[ sG&=wLDoqV.'"2[rʭ5kɡCblXAk0׫'OU9JCcLEgw 6. 2\DmYlUPǰ4&󄪷M&$Dr*ZSBbM?!J.D 2`EN,:{8ng\J@j,ƨ@xs\2 gfàzrDEZVNnh[j<}I[1֋ɡlP&gwG2tp\ ȞqЩW}Gޯy 4rO4 ;q@\&wA).Q (a ZvksDab n&M"as?D8xFr5/ǻ!ĈBnZ5P8uGe]gq8 t]_#}́_pQu@VMV*= /D(xޛ}u$misIt!mkL[Yz`D>DBuUiMVDFfHQФc Vhxp18_%]([^ LJB1WҨmn_>{#n&d>maokeXEfs2-h0ޕMe7WY$,0 DMI/#ݙlK.}y T+p7hZ0iT$rVe.drQRA*I|ЍD?Mu"ϵE3FZuߜɉT6|{ aN%O84:FJY .Pȋ9)y6d =$prQpF:?C?Dy?RYZhqXܙ+1uM̓@NY]=cʹ/GĎZx r<ҳwsW8>uf1f]"6֌ ^=J/gT3RL|ϓ&]FѮ"+fϻ2DjcX gȫ{.I(%S' "1o0J%fVF/<5:f>MIFqks8APV4V[NŽ!߂dTߥ=w`S~+#˞XSuB$S,^GѐT[O[ &]`oݍF/ĩhZ-X߹t5 57i%Å, ۘpvO᭵!Gj: Q6cHZ½N1BJѭi ]mJtϝ?8 0KwNvl5|WX=cZ^v֏͙r"/=>ޛ.R =7l$ 0E͕. ]vv;1.V,?$^ ꀠ+KJ[+>(oilfԨNI?cB7J9pBPx*ٯ3HB;%(b8ud^#6TCT(I`Ek_DVI})&.(rf *ecj DiGg`@y<è2ϰ^歽h2(9PA !Ncz5|O'rQ]ߚߥ&8: EHm~xnm'U|A3&ҝ*f팏MP.c>.]K%g)n0Y&Wr( c;9 = zܭVjHg9xLH,9;w#FMҷ,L}.R<ɂ(S|[ό9T.o֏eY^$ff*p77J>AKJxS'K )yWO0n<nP;XbHL1Q 擊(Ê8$@DL͡^麊 3֔h={h}JZ| *.A{(x,J1o'b5M<1 pV7XExЗ6#gv4E7[TF|l>Ҡ>/ r2EGC4)46*AQ©71ڴu$h Br.7FcnlDZq=kK!;\14Leh!F6xj 軨OĪ|63׸:/_C=!8Hoy8e;d=aVYb|~JY-'jKxy=-yw9I HH!Ml+5Wthk6l?c%!~>Wa+`9:TДma(VզgVk'%rnA$!3,L C]it [<4ukbBl$AC!Aa= L 0؏O| ЗncQ,&ncaΨ+c\!NZ%X^ [, XglfM,^Nfͷ5mYTZB)SPʥ]P0ӑ\,5%%5x~fy.o7 ##2BuWqdQbҌ'<8MOBEHqU}}g]E;3h1)b{+izTlz `&/*fάGNaƬH8/fAtcP9a|H:5w_# "yB4G`bQ}{]:*mPH:ܨqWQ?g.]BL?}c*\- @? 2IÄͼC@vOK 6ٵsb_v`oy.N9+r9':HE*(Ci$$9nxP[ЁN,>qsO ?[ 4?OC\͐1۸d6}*3S/ =Z Zx@Z:_m# ƸggXF>{sa\Fd(~h7e] {r&GYPr/x$Hr{4sF[W*[!TQ2P᜷a^D%&[Ȱ+VG ;1#ҿcD-Y@k4Ou1&_[RgRz]X[{<m 7([wL0C$HբeLj<ł- y=l FsZ~VeU6ʨR: eALg܅2)DIs#ZbΊ )ӢK!1cgB|k(֡SB2Y{ểRUGkfS'!J[>ӅpPgNg C7%@]}zISab*^k](#[gy1q^Pef;uPِ\zs ;P!`Y43 (^@k߾| sX @dOkv+G2[mZN~2;sI HFcTk Gѧ?[ _66bo? &|)/H]A:|"!# ;_m1ʿM4d% {>0(kvTnVx|rLkK}_Z!#|$&?SGȠ`=0[4Uځ$`lIP1Rݩʑ\Ajᎃ|G„ze<6AYuYl[6J:T6mfIlvXy%r͝;c-3}~ۣ7;ϣ}-Wz(DJgkd݂a⸄) PF8Z%]Ⱦ2 Lz-ъu!+K(bBF+vR좀cxGô<h ɔB*O8"K#=wrviy)wjumk#/@tP7^٠pD, e >A>(F;Cͣ_(ލ;]+@+*DJM;mS> lXۂ">:9%\cbw!pp'  B<` jLр<+,`.`=l GfFvfmd}`,j͂ 8u~9^)56rVRM\4e܈}e_qi:r Jྌj}.wvy~?0zɴlRR lQkY,%SKgȣfo0n94XPA vٽ]r 3Hb+a ǃ|cĤ.G26j:go@&IK>BT*/hwQܡ9;CEі:P [ ԀUM<|0\ ltC9Qw͖6498ū,#/v}А32;rvZ^Gɞ dQ(Qټ&xhcɊ mruXB<@cs/pOHch]sgܯQZZ[#w +-kBWCzP*]QUy4QuEܮ~H <Ϧ5 &NwV%xcE uZ/sKE,YOΥv ӔV:/ +q._o,pJ&0]&jO6Aɻ@F"5E5m"i(26T!O #MFb|D贂bpc /Όr|-3C{|˒.AvT򜢣4[F3\rfVT6R2wH [J4=`Rp]Nz>skVߍm ɤ(s#oFmpZ!nj_hŚzN0m\\ ÅwG-Dm>>&L"VqUh*nS)EE0˰fk dYWٍ +֤U)|0rC=b<ݪ{ixQbJ ztrqs70 ܊v7 & ~~1$(c ` ߳4'2Ә#Ȁ l9xă,#RȨ=WYyl̒([2tI;luQl+rXpnB~8ǭ)3zxcPy!Gl!H++В4>`*r&5n.9I[qT-Nϓ?QIR:K -ζab..io<"CaoS.Slr0o9+ iΨ(wfoWY5<0K&'([93(TuSzjOSJkܗ$|m5L&.1R352ohW587l5/`T'QU_%&mg̓8ce2 |3|(Νiop|YRM?БXqԋǡZ= IĮ`Ze} T=[ۃ*V$:Zh%'^9na؋̣í\0b,`PsSC ױtey5xJf.`_|8mrWuvÑG@,cKhs{t/7BKk?Bջu&a. XF8+)Pq ܉-+?S85(^ē8 l%?C ɜJ&fmߴo[zM/Q (Z3C#UNE0\XE4IHf:^~)wm3p8pV΁ 7=N$<'j5QhidCvQ4M 8]&uK[G*1MgYZa37baee011fe403ca40c7884cfcc2091213b03507c773fa34a6bc8928e20fca183df288d33e2e5746b37fde84459b7f1cacc2a80ff10218e839743a2