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 00 %< ]/]HOL-Analysis:threads=6elapsed=298.769cpu=1331.984gc=94.072factor=4.467zXZִF! NbE{]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl({_# ۨEj#oC5Xj< q*|Ő$=H=@Նgbu e](ʝ2}yEr{eGX2;4U"Ȟ⌆~w?|91g$uiY(;ޙ BuƱ5I RhaC󮱶u!ɫo$PLi1\2a#@-F}otquӳz4}?V$Xۧx Pa1.mp[ed #|h k +-z wczF;N(bn_?:t *QqI^'BF7~fkP$(V(ݔQjyHU"˴(yKQem6𜽾9̝}-ϙ}9MLXyhG uFٸhԷI#&W -|iv#M=vri,_F$JJz1D0SJc;.+uE (ʜ|CZ(\ }ו-J2H* Q /i3)w7`<sA<^ԟUq5س({X&@ ~.iVF*oJ ""|ʆHhy{tˏv,GyMp' l|ku`TM vP!Czˏ {mbZŔ/=): "ɒdsU]Sܶyt'WgwàY e=XDYv:'23Q(iD&Gף"hU:l%l؝ ik-,?_ .}7Z`e䮷42ۚ TTJ!o448 ib(<ݮRh}}76o-' !7/GA@J5{8\? AR*kqmnHN QgfF#֎E!C-a&?J0{#t_s˨͇JًRMVI((3oTxVKx2Oߤ~NV~TW Qiln6|NNhU\n#D)&Ik9lI!jP[(o(܁hqcXA_f]wz}M lO&9Piăy)؅CM' È!Eh#RC.K>f蛇^6̪\eh/Sx+= YbEf@s CE"T2 HF3=˃JNZA*t+ƕ+},1lNbfj4v02<pZ>qNU!f ]usާȧl:lEz0;6#DJdQTQ^P6 e~6P<(a/bdJ87g{U9_{h'/<ȥݥsQ_M3҅&mCc43EXE C>eyQ$XZ,dX0&B^UoW΅/(S滾t}W#MzagSr[I40a1MO|7Ke\KןVf53sFev* {^ woXoHѭNs3͌ƌ..1sn2UClb4' Bw/d{e7OHO& 'VEnK? qU 3hc+Wo3͒줏LbGD_\ɎhJi,[PU$c]jRǭ¹t=7XQSHL&Y^O)p}Lr˅CI^"FrY}5<4:kf8("RoGu|rI4WG13nuA$_*n'enPY"9!GAI2K!'gP(/+ ͟_ҡ+US#1t 86mb$+@3bAk`c6NZZ~c]#9bkpTuw\mCzz^Λp0I"!܅̧ykU9n$!Po+v)UFPq9MbkAD?o %:2Ԇ(]p, % HOL-Analysisl~[0}>i .X()+͐LpoS5E #bkjv0ߡEXUٙ얄fcJQ')APV\I:R}Z$⚟KTfڪwh`^G!.],0[{7,^(`h=[uvMd"}~wVcӌl71fI=/ ` ~qC[Udt{:bޏ@+J7 vvCnl Z6BQwJsF@1G5r5ljiYcC+MWT46%G]E4_`-gPL-oQ"[a7h%9g?|$[Yo<ͭv<e!F 5Z*42voNɗOr 3۫D~T [ W-ٗa;{F Epe^`P3k߄uZ)Q7}a|9#9Էwdt-z/u[CZJG³ η)¸e+̂ybȴ87xً^ *fn#By8Lrؼ?,ldj{SA|˲QOۘ0juce`DžEgb^)YR]J7yvԑaQڲ iץP9*  n|\U `Ex易˷luʆM-쳥c蟃g[1W Ϛ/9Mߩ(u2=ES'q~!_2SRGm#d1!6~RͶ7H_]0Q7"u GE %/. $~Enm#|V?F9oC:5y=ugAV]n\yMc *iH3"1+lM1ė_m!{٘ٮ>A[#%4e?>} V4O4c._baKXڞJg{z~E~"h'uI#%u?dmU-z :\~h0GsM$8]9NS r{Ȥ[6ipH_8vK[ ̢ ìf?hW g_{uW_*`fKQZlGM6wT`z2}57R zB/NڠIJr0m5*Omr$Okp[vb u|}"CeT;aHX8u:?yNWȋpJV(:X)JdHXeB ύk\ۅ05F]q $ Їku?kEc 1d8o%C bp_O?/>d뤠J!pu*rq>Cy,>oLO1%Q2T}jw,% GQ";Kc%u;[rDyYjD&5/>ޕA,nAQ ^{" hb~PoG*7!R(.>VސUEt|O|N t/>y Fkp ޥ6% 3U Nq3}eın/FvlCcl̥zAQc/<}%ޕݴQ{Q'|}lo7,݅fo>j);6D@GJ;"G7]EA]=49K]ܪrt]- hiHRtM!hmesvu'^ӗ1,]ʊ=j =yXN.39l8X80)WAȖeq,0bpW=ǵQhxuVQwྃ@͎!4UPV7oX^ ,9piҒ|Ǻ;蜆ejAe<M 6Hyی X3ɣ j"+tn! ʩ"!34t.A𼟥-f^J†Ǎ 7tZ /}a|j^m{@1C't (4'}+6/wrEkTT$1*Hb&py(-:$\F7xB *E5uǂ[?^k]]^V6k۵B1:E>p i+qk:ޅZ?r3Q#&&WĪ2t&Ç C+OBKm"ιMɇ; APG9h 44/ [\oȪ,oEUp%5AٮvNZ$G?7g?BUn>[e8Nizl^Zlh8n!,+FTc~5k e|e4t[Bν/$hQ۸GAF'yhwAH2;Ei buqQLU]ax׹]q=|3A?GcFMu[F 2eDg5'p8%Fr$|k+NyO1}|=ˡQi*ũ9 J+} 18mqoaȋD^FxAw(m  jZO=blK ?6]Q9!qV^}Mt:]cDEݙpk{T$a}Mc>!=vv) 殈$\Tv2iFE6W+W//[)t:)ܮ6PׅC~tmW`%<[uk$'AB #AwIpv-8@kb޷1Z5}XMnM,8|^a.|ѲTs>z2ê27G+=r MecBIM~v5ҭWrz֭ۂ4Homfqt4%A8n9@NrKFB7sk|9$̲6]p_)nu]̳\0n}_& ɎxCv"ůA}$F)i|w8ّ\JS\c.:#%jr2P\ps> 4ePi~Mo%O2yGG$j`Q4c}m_} zoS$¿+i9;gx#Kƒ{JV}/48 U5j]\g"2n{} k9 $*ň6/$N_`*XyzXvJ p$ iyyJֲ;T93%{Xb6O)u+etɲ=@(}LԒG$7)|%c\Ͷ1W Rrjy2mwy}Ud3yb{>`:&(zU>f ؛'?;{WTL!tnohW֮QdɵùF#JB$t~C ߒ <, LFms'1b u=|~_="Q 4RQ,wzLvJy!\Іw@yF @wޔsbz(~$:/_xx:Ñʜ.鳩gQ v(FAc?Ym|0yZ}XYuMۤ / 3@O%f=H>T,@A-)/|P,ZsBueq=1<W2@vVE%@n*9rhGӹz9W&`=vV`m"w("݄@{y$ݡ~ e^WDI :gOՊ0Ehob:%ANMJqLPq"E=sğDCҪD- wy7@b+߸,gjY\ 4TN︼)޸vU6Sbs۰."lVb}XZFN|]q0:1bϑyyU9@W aOT*'TF\lp%u̓l \?x(< ّ6Q@̡UNjHĞSP'hY& iJHJh(rY*u tU`*< m)f_n=YrH VrfVܦV:pͣرLnUzu]a{"8]Y/ֶ]pr` _Tw'{\7Krq"2Q"Z!\ghEg{GBRe+E|y6@k^겿0Dg)rwx (S1F#S@@R5}Jr<}!1oaE)WTTR^HW1>ڈrݬ 9~)p%}q.?MM]<+ҫ wuUj1zχuH<pQvlj5ZRCU.XUo3a<ǽP'8kN{BύN9TBJ֏wʎ)ӮF*H9_ʱMҬ,Fg!Exw1P!OUZS'}V%Ͼ^s]ϴv-UGJrf~ͭH4LѤ]u!0;I=h&<\,R%OV{\<1熑ώY;ң;<@Z8fZ/rCadB3WS{+VEO c/uO۪O*:)طg0G|ERoF@=mKdM )$B EOZڰ*y$:]KXt?GJ.Ib1 Ѿ >9Q9>F1gEqc LRŎ4eEd/ qx^6_hvw* 0*};0{#ڢ|@+1؃[(ccP&9Qh(l@MTfVPcC|:6.3![qBMΔ6QA*;Gv:Cћ̆X3YܷVm?c/\ƻe調|3ؓ_֫M7@TV#.NWN|(ÅƻJ8b2˘ W$HKi"T- p!<@!q9A Z"yIx ;֚nǑw.CT2X&C yiMD$ 4-mgKʹ^ǫU\3CE~to]s iR'J~OV1)؛9fŞK1v}5JUg[6 UT KTKR˱qAEƑ˝yC N \l n7 dS?K ޚs$ǐ[B6'U)TJ>Zd^(l4+j;kjf#~v63M8`Bํ۸cࢨ8#Ϥ0jv "iC̀j,-#kKe-EHUI XC\rوP50<HVAI< ::&I!BݹhdR2 E9:EVi!8`ovX}Wjm|:DӻCx"o4ԯUl:͵?3CXHWIK#imHRH8?OI%=7'X3znk_xbzbDk"s \Vx*#Qcj;JQ@gbvddYYuInkg RlA3Κse|LCDEiB[c>;dm#0s>u0#|/l Jo%gMT:аYY0E_;>d 8F߭F`8 :~W=t!!ǒC=#WY ަER2:n Wީ{?ډjV|NbD?T; q0s::h`E /MJЅ+l*oo,۳e٫~NFW pzُMy)1 7Q(':'mEn`-iT0N5o½,cTGK)VDebgr%~p]<_2`(ee-7KǪnmmM7g'XATh]%ؚoe1+1v(zZrdĕ/U"Q[4ج#POأO#fiɊiѦ\*|&aڐ{ȡeU<ߚ% PR͡cYTqLQW 7tݽWظKZI}H-z%{O4tKJ"d;pZIۂehuo,:Sn@' wQ%#tP4Q߄MVKrIG)Cڠ[)CLo`2܄r?Ky( 7a')eJPڍ"{==0's˃5wt9MY&3*2-e &T%ldcLj 4x%Kuc&)$Ƃb%}T9mY`^ș. `NY(4v\, Ug<:5WDFT 'K!Z+P;%p}$xS:lY x;NX $Sݩ)"l{B~3aOeI^P .(qvgМ1X?jd` 0V4I$yX/\5'K'^Y8$0Ҩ@1yfa[}gT$=p|9cgjӚcD+>qjU-`\8۪lԮW:0d!P:$ x" @_wSi'kFS"Ò~dgcDur~NW\ hdʇ|#~J vTvu '/,#LL4blķSF0|}VC0|e`?u_|K(4@?t/W{|mx4Z 1p"cSu%F#5pkA/_DXVO%0EdEy->cʻ8J@. Tlr0ΘCcI*-+3:{rX!Y%O|Cj3r_q|&X_SPGd;z7=؀5Y?;%rd#@Q5m,+o%f3*%ՁwUf$ dqfD3{7ƶuXh.3?p 2-u,q~5HFL%(iwiD7({4Vb;IQrm+[i֥M`QIvk .@n ֤ШٹirVNJbXNؒ5t7v>5k((\UdoSF󙊥cNB2N80C)HLԌ6y_ksxt||} Kۤ IlH,Gޑ+?9+_h=%TEjO,#[R=$`xMq(;l@xS*Eռ0x%Q|k$҅Ƚ.= u?͞dgҞvD_Z`@cz\@vg8~&ƚLw4 gaYcU|f__;tE0: @ Kvyջٺ;ǿ[usxCN۶zu~udsGMJe0vS#PN2bfMx0Rbgs-y>Z"i9bsH_0.`.T05 ,n/qt˪|x?4Պ ,m񮪺'1) va ӻi`v菥栣PA,P,՚As[(nb?kGLQߺժ=l'rfLyxF9⠹a7MS}qH.M77ȶ^|B!:sv^0H@d_}E,WI;͛ݏ5(z˪~d鑦8Pnl$d avyf:/~"jN100a<3cR$\aLP]tbҜO }fI// 6;BwL[SC1ڒke;5b"f4Ή!#đmy偟HݵpZb0IYBGn ΋R#'qaVƄ׻ _7 ɓ A*&ٰ=Lr@mCdD.9r.$%פصFE(?nԻe'xD^7د=1=敊V nUHKfk+6+yVY\F8`:J-X@p+XL<[{/@v/Ækb+*)a2\o c'2Ln9 gݩi_rQ #qTn0ahqVHwhl62;sd~l5g*r^n1!-hNz<1EW0n يR5UޡdCƿ7󟪚;~x+0q8.?{$4Uĝk؝^ASWe>ZF6M[! G]E4scCHDaE݂7<~;edLslsx41A޿3sMWc-(~GBru}$$hB3ّ`>[p-1Fts"^ыuhPG͂Nƃ-*O \Fq@6ԞBU=ҊOo`ޜq5UCVzZ~mݪv]0lQ8nz4c};&*Gk_FS _|lt3r4؆ ,\ʬ$PS'8ȗ_c6* 26:{U[Y-fȜ"-;ǀW%bZkC T8',&@C38:Ӱp=Җ^Te 77r .7_kopq,Q>%8Ozy"Oo:ԃ6؅ݍp]js}f՚o`do:ܤ+'q"RU"T-E&^׉k>#^@͠_]2{7,֐dƑ㲚4'X32۠T2sX,rJN*vMLјѢz[8m@/gUl/)i),G"xN2X%Pg>G-}?LTޱU w͠rYN/Q&$aƢ._^c Gܬ$ jqc~N#0"@V}M.ӎsyz'3 >^q%;A̠9@TZ/gq*y{ik^B/ tf͂Y${ V鹑<㏟j->F_Ʒxuܺ|IphĈ ? jpF@Rĥqv|;K)[hEJ ]gYZ7zXZִF! !]ŗXiɟ1˦r!cHkMeBd4mEbZ7Lϔ\C`w vr=)fЯ#^k@̿1+x.agf0aa/;^qw7'C婺'9%AV ưL]Sʅ\t YVp.|p z+֗Թf19}&`Kg Q%O9e|7Ö6k>/!i(gGY-KioVƑPdF SIl+Ǵ__:rU ãy:!7/]:E;rqzFD>iL)8qif\ʓaԟlZ8!hj(gʋ_}\ /"js,1$XhN~ O)+= ֙W=vq@辯{-3)c-9!+dREcOZgx3]^Zk+ iȽk夸tˁ=,}LO Xe1R֑!"=KDp`o} Yd]J9@;!'Agr., y I*_B!gܘo/}EN2-݃,n=4?VXs}b*fȝodgk/;n ? [zu߷w8vH_n;$!=+w`l󆠂sh7t+^ knkŎ"]W "|Iɧغ5 +keR}z j0XE n`*љ'6\޲,B IUQս4NΦ|%x/o\bijע#V]zbHJWi .+-N7>$^mNEd J`M,<2QS*ācqws,3eӉJ.D~j9Fء7+ szFK"k}d@Hq!LMn,(,#+n t,.!r<aPPۉ6l cԵ5b;ƨ;.DD+_It"]XmaFJcMebODa?[oTFXU-сG7JMlYn ˔D=Q BR|iw;]UG/q;|~pwl6AqRވTamuDm%Dr`n28zu.lPc,S:=MYr@o<*% 0Y]DG;)2rUvкWzjDv|]̀mFj4MV؊m7 CꗙgYZ7zXZִF! SnZU]ŗXi%;mfTb00 wkj#!k9XtAH:?^l*g$u*{jP<6ZHǟ~}>EZP]5@C&ء63msy- EЗoRo!~څqΘ8L䀸k \L{& >JN.+QJAFP7xD<.VgY56Jְ|ˏ83jGզb[u䯛RA(s&qG2Rbïd@9twoft-ĭ%OK $ݲDI?52;ɧade#{LoDc::'Sw^;+VjQ[ TZvRXADY{ -'BbS=69-V^elF懄K2F#qz ݃if\:E (dYzv* K$'@]V!d`o5-3crd1I0ѰzˌsdEꜜ\ew5Ӊ`- ẇ hR#H+I)Gs,&W5)5j%wN_5Kmq]@b9h )PUɠJc@L[6"&f\_JҲ9掫ծ"#d-M"cd7WN3҉1ҵ絪a j"j/AOZ&)dww=P ~>(v@X?8է*٘k][q~4.ЍWeˤ,125Ϯ R'&L`f ;9ecK)UN!kvb휝mIgq\:L^g6nϓ/H;0-`a'Sw UGA6+D$fwOqi.C%o t-)ͯp OzZW\^ @!rfqX{Q'u~PSm Kų-DEu ܤD{f/)\2TJHUT8ƕ0`sL Yl"-+1Wy)|X <|lSO#\JPP~kG> Yb$PY2زf!^tss_:u%#Dww _<9Yɧ }SkAch T5AҀ-¢G vl2E'K?NdB+j-z^ԖDF%A7)! vߏNzԐH_p<5.lͤ &TF(K W|}C@Pm pK&=$72rN5Rlԣqm)e9|(2{8$;Au,%k%sG^S S!H$ (pŔbhyZrhyЙT98~H|~Qr,";)eOu,)"')Z: %^6pfj4;eY:dzjck`ƾR n|תDQޫ-ޢmV?{Iք}|֫2Ƃ]+얖fg5seAEoۘ7~v=<_A Q?h71^?;ٮZu8~(umh ՀߣT >m68akOeA,>߭*9PQ}[M?pǢ-y?$} O/:9UğW>ZAQЪ \eHחt#ɪ´ň$|&U\^,VZ\l-ʔK? vx_;F C]2T 1O?A?FEs93/ng$c@$FU6_ g^pK\ hHUűd?f'Rk^Z(} ӄpz#I3.D ~3o%B D~w9S ]u\L>[2~ 0ssOmR T8fZ2Q3YȪJO ")6dIAXc$kgu'0g)prSp˄ B@$H;ei0ϚK`}TY fxͦ@ 8j&"Hє4c6Se9/iݼ"sDJ4ņ+$5nĪܝrU v4-HxmA*8hRfS˕߄<Go "<9@989 /n aXM,&^gIV2"&߿;9r#9T\{ʉh+|@~W_e3b؇&#?uerR`ú A:Ŧᵿ~a69yZ&D̝^[>O. :Voy2L`·oظ*aތ(-Oʲ6UxS+ 3J L8P}<$ux+U17[U)>1xhV:Ґ1QemܛlT^KX+M/aD\#VN $( Ɛ"5=5ę-e= `G=1vCh9"Un}؆F&yZ*fobEuڍꜩ1PN=kd-M>>XPMJ=ð|C"w6+RZnlLUQmhnϙ.VY𑀋cG:D+a8y"`s^.e5j|~[@]}jzq8K菄:TB(xٚDS4]/0ViL`ZIB{0 m_ю=b`tH K)\n Ґ ޒGno\:yw/V_hZxS79Ɯ6H CX(["DpsU/}Ih&d<%%KT\3W N (E*4&$w2{x9nCYE1+`t9sgަ@٬u:>KoY?yzA'~ ' XBU|X{ŭ(ἕܮPdi$ [s1V={# 5؉0!11Ji{Y{*R}`]}DO7U5RQWb7.>cG=e g$maGz ^<]yG ^~OV T]v(R SRZ!1KpoE=8~{ фմ'%TcJQO悓Y+Ӝrb/+v^"VDpqeePTA V.~(FB!n-PGȺϳ[}})CV|]b]w}֏vQ4CEp]fGJ.}:6T̕[$՘wmSl8YTT[܎aef>MeDnZ%uFP@h2#N%g2[fژN2 UyiZޫ9gSypȒtRG3!]Օ&uFH\AjjGk-{8XncOcޡJ]Z[{B:͠[9o+$h4M,iKmcLj CJ l"Pq04} LJe7EٯF|48 3u"3<'R+=i,4AkK#$-b1#ì:u\A& "{lO"HQH=A׳}C}zPznu)n/t6ڊ2];_1 8+A*^ṢOpcu@B=-q$,r:׿GԻtaT:KNVD/~ҁ#>7sMOEWa{y.B"A 4Ǣ`T Ȇ/}M~pL릺ʃp2{Wk%T ܹa}OF74L3IX=;Wp%n6E}C+w&dXQ'L݀;0 D : W zTݺb}G xwZ.ԫB4]w3 S@RrAc]("oT"mOk_݃7sBPWQyV 8 +]72q\/35~xHyE޸)k܎"h"*kX!W R#MfL"50t=c2ƌ B&aũjE ;%*H*[ ueUӝ2k7 3l܊^zƐ2c/Uʟv(o(}EO8i[qsһc*>] IrpFE G[:bs40ŎHH{=mTBi`ѿ+B~_6f2h&tx&jS _X&!P[$Gf^[8FpnϮ GWdge|D]?6qRd:OϪ;+x7ʻbcs$Njy\FdMӅ]F|bW8Sҵ&/v ֭'LzDDoReκ5 ,\&Z6˕ 2~G麷 7a[yϨHCCtx:YJ@,i b.II|$B*I7jr`]ො캏(5_kM„T\kM0>LGqEAu5 '.Ë 9<#FϚ _Pf79 NF5VoJOǻy6L~Nc I|K l;r_ȦˆN} BVp藏 j GQD8/o;2( o$kH^TR>S4tQ$DEqa#Ge Jg_ojV'SAg-Tv?_kD 帄3$; no$M{e`gur +Ѻ1p)LbP!@4i_pnh4޼9ڪkсKy`jL(͝ 08mOByA(/@n>l.͆%2^qu; eFGyxlubpH|K#X l^w}z?oz۠pok1BR&yUiZWt$Co)ZW,VY'L [Nz"^# Kg |u}U_^`WW:Rte6M?rO O%]V3&,0QuqPIxc UԵ nӦ= Vba{αAB|%Znz|y$B yr *+Д㫐} 3tn%K3QҼ'ҁͽ-0l_&RobNACk3ـUqz}`$~$h'nڟW}0§6n56vjY:^k`dkI|v1&J3+P.uVYE>?|^*ª;÷<gHK.TQ]#6 te3 8'j8h2D96%Jugie=2(58MuDC>iciN܄=5J4e ]#,6RgxOUvU_]rLqP)ށ^ٚK{oBYMYX{>,rsHnsրƆ+m$ T:CƎ:ī݈ЪtWKrBp7r)J].)t!bAU>m\vH3̓hƺe-h++~ɛl&]P,ZM+y$&* R%HyJYŴ g% =oTid2~ jr%vUᕓW'2I+*Z(=?=aSx)+XN :~,;KYĀ4`Bv[Qp ,afJt{"OfKK(On1/f+(ֶ)OsOev*8RCXdCΘx`ZB w֛Dd\Wrxvݒ%0%"EžYƻ'ʱ/[MRqz,CE(1BR(+6g@$og x~a}֡ݻo ׻b;#(Qy4Ŗ];^\|%c~&l`Z |="QLjl: ~meUѩ':hr$L6Z0y@X=UV~ &|ea2E録0=ysF#`ZML3˯`(23,/R;묠DvXGSd_:v8]_UoG!d$czxqN74o.D n^,,;.yjuZwAMQ fFCeJu P2UQ8d)O; ڣԂ`5蓤 g|jWdb+P<)H=kcršfuqL{.>sTOnG{W iLi֙EG4\H/RmɃ#E)/{#’k'7&'4|Ƀ{3jĞ8 ]n?``};0j?)АkArL?'C&U\p ~uڗ_1`*q TճeL\>8AٶDjAmnP[1Q2DeUC^j;Yky%|f[Hs34wa4|Wgy?D0ڻX[ al>?jUT?n@Qflf3w5>Ŭ̉l *v.sR/9nT,OW8URmۄx`sziP+@Q?#wd;-4v1 .j hSYĐV(qq뵎r?H?!Ჺ95|~%pCUwf+ga=kKs?:ﯖnȋL,p=HS;yC  trWN) 3xW  $'->\VAmш*ÀmT&f֨~ "c;.$m-Sv WUχۛWb˙ \rAKֈEapW4yrGs Yd7H sRB˾܅) Sy{ZM%cBޜ N1YPpY\OYCNXD/'AᲫN+&گp2Unr|vVGs,G7КI>b'Gȑ#=((K[] GNLzD-].Qh)u3Z>|0*6ŁTn{8NZ .AZ==heLK!p, h\ƪE觖 !oiM\ Eal q@Ӱ'w2'78`s-I|qΠ֐ MuOBC>$ ;Xa>RuIK%3@"eVqgtT:p>?Ẁ\Kywc0||ɥAo?! zH8̢1$icoӳDyABvz V\S40`I%JJɵnkn?P9K2l!s1 Oܿ>J@:,+l5SmF{߃ϭrNIa0yc/^d8qPM4} cXnvw.`eR+Ink95 d&ܚ~OdxdǑȊʒF+^?ɫĢ-} @j .#Jۛ㰾%a~*DQ&O$5i6-O ={#{V'2'V;DMz?86.8BU+./,7ȞsrKgBBeq[JjzOբLnKA\?}82;mLT"--TH%|m2ӭ6@#c4;J+-RЛ.G◽{ aHjjWCSruA9T\W)姪""tuEtT4# l#gQUI 0%5(%.;A wgeM^S#,R'i=YGy1Fp0 4B?swY#C^Wk$8})M ]MEAugq3 <aMog6; H6uJ9P" ʇ2/@'7<&G^Bͫ T^۱7,)Č/o+wduG@ 笄ud4iac5k_/ h,+IdlgxL=mc~~BcQdog9Sv{~(Fb>93lu^EHf# Cnkrmt8whFd9WٳPL@)rK=uAB̨Tc1]hmm][ f5^"y7W󠌻dTPFQN˰8uLt.b;* $HUԀP"_9"{kB>WӬ c|@b5x/I#J>ޔ^9z 3U5&Y}xqoΠŠl74_יuzV6S>*KgkpYɷ.;Dřw">AwE5*3q2/~+%h:^(v??뽾XC*{r1qs/uJ54;JIo~tn(JG|%@w^LU"jr&LZYj읢(;m][4އl05 8 .z~c8?'5iZʥ=sH4hbvf'7S8ÃH~L?UԌ @LC|yP]*gXv"5%J3 oQ 8%sD֯b$L<,k;A3 !`ǭʥTmk ?C/Xp~ɹ[?C[b?;"<:;a cNJS#=:mDO9.x$kqb^@=$.h"Bu^(SOkV@5$IkgN7\4 <qJj v\ )4,FoytOh15mV?9bdI89ci{2ǸyBZc9FA )UqRլ=Ǹeڔc*1WPĩy=lʽj׬6f {axf6|0'lj_t1 (uD>6CPPbGT$?=BF&4ng œyVurZjٖc?Bק%X2zF[ b v7>@.4X H JM#^5_ w6f~rNP+dU7BV_(Z6CsQëRw_Q8<Nm *%v9/[k?NK*$w&1=iB3 ʗ [BQֵaRZ8d)gyKr!;uU^ؘrAM{ΧQvο|$ E>pJ=4e  LM_`HA!'/jfJg2п/QJhܗq\kIm ڟ X_ 2tPT@6V'lR$Esw,۳bQ b1DTBd494o~6RGic50ð&Od*LuEZ7^_\WYK5Қ[fvi40tB'ps!FZ\GIZ#vBFt|)q;pkނ|-WK)*.ރbUQԌpԦQCf']ԧpV(A}ۏ^Ym|]v rEʢOKo㧮&Ma[nQh1P@>'t`MդՎ2)vFMJ)'vrx̟~1wkE57!zcǧ5Xi#/ 38ۮfma{_oKV4xןY_21o#Ы6 IZXևH]sQJRB\lii^{b(yFi>)DJyXpVz_o=_ &cjÕNeoLcK*g9por~ArP֔-ӉR::qŗ)xυǑL' /F KNV &Garγ=NP6$TR}ıA춂&W4mG)m2Ik;`z5ecpAG @wOÜ}DMG7ՒLةCDy4Jm}|w0ø Cć\}ꟇWbJS"ב4Fqr(T;E8<chLEռWk;롨n=t?~iMlECq^1v绕W1(gQv  H7Bg'd$GbӍO X W|#µqO &5q"12MMc g`fǖnm}ls˕KS{MC&J8 gYBHIa{`;?y=l3E)0[ްP^Enx'x=F[Yab-ND]mC97VDZlur'`_},hnU قHsZW'{POcG7fÔ6[o q/`,,SW[aGiIܨQ1PYlqN@B`9pO `WdbtcQ;s@W0h \&d[Vָ"Â~?O:Lդ4h8⿶fFm{!lb?IX=6OP ak`usM/5ݎE9S07l]D|cA\(2@ Ս_$drJUӃ؋DNI%[]~W4kvQ"0-n(|~s:xF:ٕ- wlV ;lQb~W|[eb|(,UT_߱g56sgX }IeOrP5+$ ۛEk`7|X?"4+0NNיk .ܗk<:4"j"i9">TCÅ5 K}hH18u`hK&KX]}BhFǏgHZ6zj[r,Vɴ:7<(p,dгf9Z9♃/= v-|6 w*}2XWYB%F$ Γ!녞￧+/]| J#PЏݎ c0ۻcx Y^Wr: 3cE2y(*|⒢ݱY*)*̥iޡGa2mtSΟD &Cj^\E:v,xm'ppZ&Έ/6U/P.#c]ɏUkv6%Y%PtQ+E{S] 4+*IٗmVVJ4D{/[8ŋbs1 أWV]qG d LJR˧UIݩux½|n B)p7= Ul$ر1^5ֆҌ6d'yӣvSY_H"!L6ٯ'31^K|˝3t'tb)C&b۳SyMmu1!s*HQA- W_[ rBw uk{ řLSs/bۚ5iKFi!;v^,K7=+;xnS6:)TZ0>D]xT'(^SbKO֤Mb$ jhd4&H>^ޟ+U:_!8EZ->FنI}˻X>ff5:b4"5Ky&B59;qCv? tj;bOi>od|0B56LbChWS`]@Z\Ťf˾RҌ/oKE|h߅pJKE|QTV\cy^`{{R)g+Bx<Ee4o _e/3|9gfH X9pJ@&4#xjE|C i 3޽̎ly i-!_ȋ8Ym#I!!WΊZlV98ޱOBZ=By6!D˯gHx&mK6OZt;k};yk;UGe2}?6_*|haш prAU@u{diͲ!R>WZNjV%(}&6D#Q9:hO,"|g5⧥uq0a.u" 4FgttXW|pч Oh:bT&i%>G.#1ڑGy\n&lo41M ]xSC ixgZ &'2KE>>S|4JsMȆ*avB"*4ulI]j7e=(#+|)߆&7c%7cyTk΢Cp~5pй#h=gkokTQ 0)z)ewthMN۱5ޜm^2\9`@ڍkzjXS L{} |~&cȨGxs6nZ9ulGCϩ{gUu\m>rLW&ћ=p?~jIPM|&X8B+[az48tCl0JBdjD;/=xtaTΑDPOW%$w `E !-xHE jyaQScaEeR8ܨ;8d]s 0[fُ qGU\)krv YntdOzl4?xwn2! _$x{ [ДIcc p1`тmBT[!dFA+2 Vdi-!tN Wa#fQOߜ&6/9m?26#ҏ&p13%H3_8HKi5 /]!1J9DZ;BVFRn@ 4Tدڶo]]^pkKZ ˖ba"E lȭkL3!)j"<̻d+1/I5-[DKTS 굠c<[lJ#r nߍxIGo*xk€dgI ݝ@&͠IJqfSA5.{v(9{mV=1<qш0$#WP)f<GI3",I:fs S1y0r0#~[[IۀqQNhT"MMUI"=j@# p(&R2lg[*_<383FYpD9`Z.SPA@ONkEC Qy|3xkO^X7Dtܶs d֋ߡc>#