SQLite format 3@ %- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 Z9Dt Y Planarity_Certificates:threads=2elapsed=166.840cpu=316.380gc=18.312factor=1.907zXZִF! iZV]ŗXf1-q恈NucvAݪ4 c?[2C IfW6aJtHcFٵRv 9 Planarity_Certificates>츤9:w%a8HI#iASKݜrB? T]A16TĦ*h,PztUgT8 d3Do%QA21Xhu9L wra`m\ 4Po8q׌ԗi^Ȉ6fa:Z _K,\pf@JaK/O{Z$F7wzލX+P7*6Td-d @n%.BML9~Ctj}폸5@p#84Hpꕯ,zbÜ[ H+Ѫ`yG<FYڧU6Kl ޠ~!P%)My%w<.#UacƢ!LbdA^ xҡqO_z2Q?PJSs*`gU&vF ĉu'B-,ewF .l^ᔈamma3Dz0#xw\Qfc.S}g^?ߎ~Wr5+J de؜Pe)X)VFccm식P Uɤe-+RM;tMke `k:[qdlZGB8H<$OOq'EwTLyHE$.)9bxνJ 5jSցEU:ux8V}QFG*_]'RqRq/YA WOg(L~J{m9eD~< JirY(h̢$$|{-oK>Kױ8oeOak(b)꟟%*9gWǗuM_-xjWy`́W-7ѻ/Z')*嬡]1~7^}5+^ ~dh%~b O 7(Q *ݒiuAfdt$LL߽(n#SќX1}'8hCŷV9ho5P?HBSBϓU(gr! Cޮl-%b$SP2bo#-|ڔjf6]jCucv)NnZHLZE0ΚE@m^+cU=N}VɛK(I U!88QTo g}[^8$f4co,? U!V.YA Y'.Ԁ),eVVk2%iSQPt`CS?m)Z+Dz);R\xʍRW +#.Ɋۇ< KTd*Gt XږkPdtmEs'I2]$ T{쑙1 ͭb )~ [#z%V\B"\r1ς&! 8Kxݖh9oZ-пv  0⢼?)y?ΚCؖ)XtF1eY~"-w4lK8KL  _geazφ|y4]\A?UQΧ%f@8I3b닡Fmw>K8ڶ೏wt.zwU! S>ZkPZI)13BMF_~6BUޜ9'AwN&}fT_ ŸUw{T`.!߿62RR`\TP8o~3om1-Uy4+jm3A3CÜȂ4"M C>2k"ݟש .1TAMCͷW55d}uå'#߸CdKr#1aح~^bڟW>j~Pemɛ95쏒0t[ɝj>G]RkR/Oc(TǡK&pɜiNhd &'qpCIf.=U.D]Bw zSMցī]Ř:VLamZC`FĐ-T)}2ex,ǥ|M*y>k8%S%iS\+/`B\~ӟXDy ¼2]lm`DMKL)zBŦS_bѩ3{RKe}GDUfQ6;eIq7.|$ ^-ٳTEIJ>>%/60 "oNjP'pFʉգ_.>7E_aЛs=G+u9 _)gK1ٿ:15a@u;uq77&E M/T -pB]寐Y9PkrTm\rD ^0A W"7pyz13"pΨ2⇺GQ(ze-J_~⪾I6T,尊#@(i'.:y_+܅/-LvҶ5˄!(zum8ùINQNI/ضQj ISj 4 K4oJpm9>[yvJ|IWLyq4 Tq_w7WH’`ǮKL+nĩtw#14>e}vK.9P ň˟8>J 1~D'0$yA̜)|s׌} BրiJ7&$A_?HrNJMv8- !M_mDAl)E_@ȭ'. eU6nM[g4ShN4&΢, (XO5e{7s6ϗRpƂ$xinԊ,yӮp=tIi{kS o |ـ1iNdJp Y3v|ͺWd[lSJmΆ4n~:PBon2Lq w5' pcofӿ*2+^2@MHG@b=!*D;$t^<{zAm>X m剐"$19Ҫi]Y4fXs fL6bMpυC06$·q#-f mf5] ִLt5O,v]`(?~4߂Bk[ʪu*KxkZ,oGwwwIZo&w=7CTn+ѬM,2z/ISlĿ#>9=+h 􌜚PB:jfqO긯Jg,okD`ܐy`&-:w=\P'q<)/R9Y =d1AS5(w=W)Rd0J(pR@]}c|FH㮹tuy p/9v苌hך ܯ: =5? GԔD$Cb)> (\{8.B؀&[ÜhE.@{%ؒϜ?vj_^i}ӿԨr4.3oA2?lc$ι)O o/-埊۰u_Oy͚\oyZ1Y^x=*^Q{ :{!QIu**Z45 R/O]CohFqL-S,ZZJCFz|Wj'9Gen>Me0d )K Bc}sN֦AU6\!72Ɗt'&X@ =ڞkL47V-bvuGÀKᬮ" 3)&r`+\7GYF0Q9ՊV6kvϬ4a M;@N֥А>y/Z)vzTCy]3W~sbRɷ~H)}7^qJidy 觏յ Q!a t^PG2pLҊMNֶnh W]?T;=V!UF%6 ѲTe>;[ojr#&.Vq(jYm5迷e5-{v| 4~g? YT/Bm(=?Q|z4g 3-Eݧk%C 9` )?t70ca(SkK Ձ!5Oom_iتJkdF]ʱdRțFJVȹ$2z $+;*V%z"v2rvxJޮ δ9*f/YKD=Ot5;ahڶif&^syIKǁ. õ# !æ YS2F@5M^yyk+z,Tg dkkVHE [i6n9dd>']F{rqu~ʚF;A4?8֏x\'et0uEdeaսY;keaI Ĩә9dcqg/=鉎c}4 eR'ױYoed_A9&M Ŀ8s:О͋9%'+6RsL \!e *yTbᚈnJ}52oكiuY,Z9_dAh)SlZsU֬?!=]J*8--9_A~M)T W/RJ|`%?h#k]^dvw8q鑱s"`D I^Th0O`X䰝iʒ DLFd'@=a}nɐ8K(;ZaPƁ469%] Cc\*>nM_;AiO2'B^] 7v/iH}^kX~^"cѤ׼ jW~%o~'ttƠ2 M!,/`f}ߩ3iY׈, J6:R b1ܟ [D^QcB__ ޸0s;ޞL:96Ī~m1sm? zmJ1]Wr4 ̩TGC@gjjub?A<x͞ >oWgy3̩ 3{a|B}uIj}xU%AMyد{J+BAα\>-}yK0aPMD)x^r7KnWƇe2>䑼@p~vq'J9EiHrێm Q{,N 4"X-0% ҭr }-ȇuĺU;]xXX΂g-y;@0x+5T{)e>(: 8qmK$ny<| ʸ!suA Ѓ2c-TpR [0<v.5ؕf+Ktpi[o.,,dV2Pyi:(]Gp~},%%q26$F H#1v 9x3k/GlHV(X KZ0VP<+'ϝRJ Z *CT^Dᧈ_mNU5US>ϚLL-c*-G Q!zqXNd*e _RɎ'Ept^Q:¸%XSoM䞶yqT-+AO>ƉdxHBJYD&S@THAA7NosF2J1 ➊ M@0<윅T\ƾ?\\hݻtaA'n"D#Q֓Z.i&Fl?aŒRzb~hz!U _uJZ^58@ pXA_iΖYc`MYFAp6yUd]6CcCL#ciח .>Ֆ)*1A: iY+"nev6o7R%vY1胟кB,pH_`%CO]}{0^CZtX+dV<¼ \ެ]Y_&xC!12\]ԋYuoR;z]Xڌ0#qA+idH'PTh3hKhd*j, ؎,У*}ܟ ck 4^mi ^N?mSU90&[9H sj-x*vYﴨv%u@9~oD\( }Ti[s~f\ۆ?Ɓ#"1,zث+3mvP ~LnK; 3llc@pLˉWnx #45JxT%RJ?Z܄C* QlwPNϤy0f'S{ y[L5Qq& ?N;/wu:|bbŀc$YpR-1!4Z {eV6Xݻfjr"= !o\hgj@5u}sKF!׌'2kMn@ZhBMۃB*ຸC3_ԛKᗫH^pQ<8r#,BL^duM;v` ޙr.Q)zƁ_\6H$cpajIBZvݰ_^nģ+`ue  %RC*< gqY(}8wT˔  ˕UDl`'蟮{ ,W€owETN{wl7)u|Z5$fZ`\W< RgG.dB^YÝi7gPÙ zyb=D[TwD[;yϗVhqT%n?.;|u;:'y.MB+\3yJ=sɶQAɦ~ڠ#9*%6:}rЭFnQ_5u˦f>tm5C)E=|}b@SOo&tyǫ|)mD/x>֪:b 98D EA`Q|\em"fq0ήìEQiй +2yW;M۟B_\FХ\\EۈI嘹ƕ5?3rMl1zE!/ x]!烽`b.Św 3ꠢzH2K uNx~r`^]O1.+F"q*h~W8w}HD=ߞ@dbY3 g x)׫ ʶ4~ 1Wrߚ^ !$!'o3|2p(^*6S{ VK'Dup'"JT[ȪղemI-+OLʛYODq J 6xH&=p LS&6$'I!h#vRd9?عQC]mNCw>iGS\ā&C˸a>G"6cgI"x 8TW'!6 h([gT H@!s5VBb@ 7^iDf%݌{Jθ]Qt0mx|:t׎.d2ˌ9< .\R1HPϯ"O?R"y<ѿY,"|Ymg٠ wzA#e~l GV< aLxU?``~!Z8k`/[{\ڎjRfHqD(یk`XO`cyZ"7YqLiͺv' b,E@HT(06q\샟b~ &JAkƥc>4<9 =NND;'^Dge?)Ha$ޯ/T{U$ZԳD7xG:EAFmo!EF |VzQHE/Wj^PfX" _!jt+N|b}2ئ17k0u0:@Ĥ?W¤Nr eCz3lA^zޱGƠ+QhZ3:.VgpnrrErϢ'/Ut]=D`NI fbuqKse V mNK[VSAtebY M_GwHa$MΖԯ' JG|0-m UO7i32=*]`8Knvg>' zH-9i3≪5 Px!mSeնojc ŗ\qj?TAɒey%ŘQšUy QyK2~8jm+TB!Y $Ɍ+.B/hR4&N9D;!m ?7Z-^"cRc4 ,B@Y}P\h5$9W:d"BVE"yF-"Y@am, jhu3չ.&#&oRšl"dmQi]}߲NՖϰN>\n'R(D}-kX>"X1lr< )ҿ11E&KzG}ldS.%$v,Z,:SGdn8_=|(n>\tۼSN#xPq=STmˬ#]L"9tu|+,;>"j^L<80 ~.cM$!s?x*nAV#c[8QV`0~tI ֋L琗F}qea߇QziO?<y KϟM?b6v?Dh^5ǃɈ WrhM\BQv!;J=XŞAd10ru(`%X֮w>;4SLO-"k'oOxW5i)xU$Sjazlƫ(OG-sQ(R%a !΀6b 59w,/2)H/&GdJA4$ɔ9KPG!sI4԰(;B=svLBs-N?}y\?&9vn:/A?lRk&pBmm HUNO&)ZM*V04'qea0wy1Z8hB=Gt—9֪n**F O3VFzF<ו^sYY.H̝rEP}ElU$IhKeu/] Ej:sh˺)`pP[20ei$@QH~ ଷehJ#̆|0h@(4ݎ^q(,#*G((Lړ b(q좔>Fb T vO*0Ҫ- JU|Fɱfd_s?:̖%1TR.,̦(jȵ SvĭSJo9%TK {(IFis?r|koRR#cpE zb$,@x/ЅE@N?i!has :cԖ+qbY9{\ڹrz^]L 6VZV A,4l1, q!)ڪ7!۪ 4/.WJzfe~`~}u*$=/K*,dzQM}S Xԫͅ ]:xs0pwpcw_NoAJyknX_8 CyO.cP $5#NrJt{ ķn#,zH/0|n/ 6?6mDKNoNIG|}ܰߧbr ܹPykx$xAosB'Y@LaW՗{cqN/77%v/Xջ+3%&paFTlaidۣ݆! aU |$YU5f.}0ts=3hq,ߡQCU0n` qaKU `PyD.v&#JV,{#4Ħ* vpss Qҁ2̛QWzm9B8;&vtUŤCR0؆;"KЅ20ؙA ŘqV彘A8sCBnn`Ivz'}}F5Bo3f9KY?v5uAUuLT@U+IiC.i EX_2oZr]M>B . dU ƽC~ @[ T\H7h$ szN%4? 5NҨ,*|`#~ #*vi64.*u!hr_%Btj5;];4,N2{5^C;~bahY_LBKK&Tpt7*;жK⨠ <R~*~zw#t̻ ŇrpȨ1I78ck_2G"Q/ b@bZUJ́ h3Jl䆪7!$ |-,&Ie76G ܫ1մ-{UʆSpQ;o!&Ő,V0.Q#ě%.C(%Rw4ÇTo °3士Y[ߣ? Fz'ɜnUNkËiqg6o"0s NسHUpGx",BQ͙)Q \m.L3"xa]-2 c$(G39+ o} B:JiB&TV \zmpUyF"(o9E6/Y.ۋ0|餍8ܕȬq]/aifvGE-=G4\H9h'rmD\7JxFhq. +6U}ذ+xg S (( ,^LγC_¶V:Yےqlv"'̝B"pz>v:an[c?~jc\)u tT\َc*Lu1&krHj}MI}rƖ<٨(f|) D*3&?=1٘aWg;}sgIL\6τ7 }Wh;Z?!ʻfg x+Fl(#?"P'dDp/xh34'XpyO|5G+%RFi)03R;V;v>- ԟ6vv}qn|$%&ײ?9Se+LdPFqU'Iʘ0+ tZ"' hƷ6&s}iˋjvH/O|ƿ#UD)* 2k-}u[2*0;j02Bg&(z'άT>_*6C .Y/RuT:rp+?QqxN`\/^"ѻ0!z자;!0N&aOmZLGsN -X;-Lid3@3gņ=)*}SX+_Q/< 5F9*v*+ˑN!DbP5F!Vs*#Y 5\ @bFe^#޷X_.CJ]y&KH]Kّwb)aWC)p=9##GҬL] {C!܂s*d[]U4gK}GyYylEh~ܔ)k-]"a6|MPgj6.)X(a _t!Uc!>tQfl_KV}&HY^Rw1{2)sk [En˟{Y,ejGf{!YP/D3 Srx0y y>,h==jaƂb~Gԫ6| ߲Tsc00ҏby㾍Υn/䟡huqFiQܼt:lyT5rbo)8l+Q)( w#^P?QTŪQ#%_tUKnÉ7!X~tx1Qs%HV- jKηW< p%c2PLbH Y4ޟ_Ň8;9廇R6g/N RY$i({*`i`O/? Y A))X{ޏ* 2MP NiպifFU &|5ae!g^a:BbeTjφ9s:#GZfD^DV ߌq 9ɋ+.1 v{2` މ֞)|S~hXg-`Ww(B=Z(c+{/"54z0Vjt’b//GVʯnR4-g0cX+\;=Gѫ"ivr7V cY#E%-ܸ%i4n2,g;#7SM";%Vh:n*DsNUC~?{nb{[{ 4CWW{oIH༌4=ڲq)|})k -}e~XyyeD)M+ ߀}07+՚]ƔL7k%"?uR`f~xFf} 2ëSBʀfSn dvV4 Sއ;5 ђ"Hl/ S-{%SzVLG#>1ȈvQl}TɎ<;VkX- U `MMDЎeOY #sNl:ղF$_3<)+6Կa,XOG?5y3Fx&[!CE[$LUD]"Fq86yR L1a@!3 bR!gL{mqۋMUˑŻ2%ўFO9ճ^w!@|:% I<:[]p+F0v?et;3eXMyYhY. 2$q`9X&'8TzSZm;XǞ0ֵM+ t]$~C@_wͨ{X(e?,wIq'+{V/L^5)=3Gj#y䍏R 0iӫB1B#^~ ZH/%83q{ N Ýw]k{-cv}l^TFNX̐$7=4&|:0뇬J"A<94L"?+D6n cjf\_/5`d*X'ZQ'̺]lÎoxF۔:(h-ׂXa|o|6]k 8d,gS0zQsW)H{~&[ܵ5Pjy Ά|$i[x.8kllMֆrA1^dۍ Ƨw@:md-bFJ/9Z w"HnvlVb#uZҘl-9-LedQIvM$:[šp˝&9Ja*Bb#2 tGI$]hؕ'BZ)Pƾ~6CCEtuI*0jfe?2jW7C47ZڍXa~Wc?;dl}1,.zF{2l`pO/_$pQ]1 =IR,"p#Snӂ8N6qm4F?ܰ~Xn.>Y (#mƩvTPk6qqɰ3tƀOY3ߒ#o Ә[5M *\JT. `{;aIb칪$cW{_:h$0V 3Owܩ T?jy:aTEbCK BlM 6 `|spgզ-b:6s~PFQu[ժ݂ӵ-]*ͮxEάSߩ($ϭy"2[`cIt~ZjoAN{+lc~Uu}KU=$v,a_bOeؐER̊w{aۛm^`M~Y.݄ø ,^\?G>\A_BcD4 YlȿU6hap~ m,j`nfx6=F G15>ӵBد6 5ꖑ-B|"0;d* >V'H 3r^8c|k =bfZ܏XְCHZ HduyB9ee0v^a^`_U.Dhè>X=o7" p,m@0g|ySP2dy˕m^mk_\ UBDxvS#h[PRR"c%D_}X"l9<8&jJ" HC$I#~Ȁ>0XS e%<{UXvLsbYB(n=Xرnm^iŕ7¿ ⢑7g'I`n0S ,?]C뷏#/#))ogy]dbBfgO[[>Q;r=d}Bk rvC9wz>*0G0ڳ^x&U#ǯ~ ;]'O+:Ǥ.8dw k*h,+N3Ż&HtUvpPJ hydZ4-U.?F%u=CEC h__s܆`S\_to㫺(`f0h B9Œuj.JI#;}j$\+9 u1I>\_<UW *'z/Hےݓ8 ^Cw>@ ƶQI!(-^^+")pzBD;H6j}7$E:c¿?p^Op_ |Ssӄ}oGٓƘ_E (@Al E{gYZ7zXZִF! $3]ŗXi%Hﯞ`8c .Zr"+NGA2&cU(L Z1ReY3ZL1q%I(ATʦ٥2ęm.GHn$KI-"K.2YbiӶqY )Gb(ZM-B[x(Ƣb,H'F2Tt^pV"wN=-L&'-<@^=@O]YYq@4^~HBp5ςF0o d^?'wh'C;GeLvKrC &wܛBQu^jfyh3&:`D=ٱ'c}Lpy*J\L8!pZ]擂U=_K6Iru[FtCq uZg,k[l.)TP'CҰ"F֕E<ʼn͡ v5h KI]xC#+ŀfW~K!&3~.CKN$0XxY/F wԥlr]G-,$eFΞݵpI֦s絩 d!GD8? ,㰣}^ۻ$NЌgDMWf]kme偳^IDh$>S">G돴 Bn $OwVf #GLm~Bj%ӭ9щzE8Y"I҉rLd dM7.ǐ^B9*pu&࣋[iPq@hH=&#E9j@rhH5UAXh>ˍ}Fc,9Bg7]L&\q~Wޚz4>[=|pzܑrMc*#e*vMinxFVgz.Y+=\ ?fYdQp_֧kqoǜ8}%?X-ʠcDљ1Oy w,}7>2g6oF,جhTa*M⭽~4>E5&(]g3cc4v'v9ے?ޠho{ji\t\"5<>.gSE Uĕp0l ]QScqy}8i ic0{2hMq1E3ΆiygKZt E x0?''oNyJbT 1ÿPH'F*uqCT!x.?m?כ}1'* 36zy#2g'ݛԀƿqNr}AyˎC|ǷI45A*N~**wxK}dAK: Tq\jIq[nC5 P)6#B" n{JT7zBN߄g&=B7 /xr30FRy.4DJH8GOȰ{$81gJ[ P,jK][2z&i1tj-J.Ane S*vёq~!`FR3?:C Ӎz@O3z/C-[$@GuKNvJ,ZQg{ 6ZMA)3xOX- [(m!@^w'G! 3OC-XdWXI i'0˦Ƀ)TEiCț.Ь}?o^#PK`ݼZ0#? 8A,kl)ɪiߌC:܎kT7?؁SO)kG \v|vn~+j!E !j5r]TyOnx= 9YĬr) w/j r%J"4(wtu14[[4G9Nz܌io0kkx0W)\6"FӔlc<A.AVtr6W3zA2ٗԖ!hq}OLw IBFlwbАge $'E]w 81̍85I~ӽ.bVg>- ;o?o҇?_⤝wo{ 98vK74#Jen8JΠ? GG4bsO_nw3:VO(?wA~~%Z-n̖&#HS:R Yse0{7^TE%8 [Kmo|ہ]GN9낔ѹz:HAy;LF jh*mIgQs̺.mEO xѢǾ uoJҳENCƒʞbg#`H;*7f O `͎>~3DXs5T{y-MŽ}:7'Xi~:s[BGL4FHػOH$|QhtQva {%IJY Dڕ7,- 8 /qGץ;V*"$*6pg0ʄ6=H7%]WlɊ#ak3ٯ1Mn wؑI rJХXH l4Tk @ePIno8]?;("~ڙ.ҦQ*L4{L.Oe*~(% @e|9|.w3w Deƾ~pCGӶ ISMpF\qwK*dvzt^ h͖H $ǜ{PI,X!-;F0 &>˾ϣCo~:,`56Ag%~GpZzEd{fW_m[^zPSSHK1$iM P,r:4'7JjQXKff6XڦgJ Aa,a*%Ċv~ޑluL:C@7n~(Ɇ$Wي/6qGX`xjIGH-zz9gI$94d1iA玥$JLGH".. ?8CSHn?gbP(B̑ifKw84f95ae ,tFe$,i!՚-aˣ"5 4毿T͑E#DvM)hوbW+#HGnjq"H̟Zna]t`wY\->afXjq65 %>4+?x峊ϚߎgSiiX&/%c~$fQMc|#gGW"x@@{ eRr7LXnc ZK躪뒡YWs(1 7y.RYcMh3X-tE?VǶf4&OF:YmdJ'\= ?C9Χ'co u(ቚugibM 0T/~@Bh6b\ 쒃 B"mv4dctVƺ{|1I#4ɮW|뗙",:51>I0ru=XL*"(FpԿaBV TKm7*J襠CA,\ry{T$L=MΜG;/!?n5Mm,`/?.iňapG>Ϳi#%ۊN:bJ02,{CC=~A|xzeŷ5 yx&v ϡ s(y;Tg*; 7zI e`:6ק\ 1 |] xX2%.!Eps߯nE/HܐݏYD>%9܃ydÕz{!ĥy@vVC=@[qډ$qouipSW"J3nr0\k?6pycv`ܵ1*xDw8̬ taykҸK'|jCkx\OnTy4ڝxcIOesq猃95ILs_9 AS{Msbʷ,ц J»A͆ǕE!ku!Jzt\)]j4Ƞi{Vi<&ͭ {Ugp?6}LPA4a{z?ɬ DON_njȎ^BHݽጙ">g X]f[wĐ:C 3sNЕc63?u7HU8nObǹs<-90(2tޚOl( b-+'sm '5O~!; tF&n05J]K,fǔ,Ikl{Z"Vt(sEma4o3AxW/)&;Lr_ni~٫O۳Yf5oV ʮj䦬=m~hwkEwG7_0vߑ[?2  >x ݸ"f}3R_3 d6U P0K"I$-" k w[P7Ypȡ+BHQ.lsVx\;/AX-ݺb.ѧ5m?tgUaCM#y<JjWg^hd^OA*YBɻ4 Jmаo'k5LӂjUS$3&һn9Y]3ܟMn"tjZ9VQ^Bb3ZXka _7}*ɚlG<ZHjEe"MXRkзEQ_SVgʖ o : )s 7l+ ,mS ^JAcY΄^gof98'K#Y8E[s@[ dy,96;EC^Kjxʾ)0n"eϋv5mÁ,\W ONi HGPUҩ_YS~=;s1/$n)='x~8n&hPq}+md] `v1I%{--o_|~UȰu֥ʨ1ƣ"y:*&k\-}NiHm:k0"Ib2f~ .q<…cub낚fA]-&5QyoXWjg&88IB! ɽZO1!޿ܾ;u霧ǾDźuNWzkb12 ` 2&5E%[˴ZWle*ľa4su13 JVВU{si!{WbFx+z3OBqWeδLnBOUjD&^qeg)>7VbPޥmZ?cY|䤧{_.yz7ԟp7?u4QS4қDZJGx]#H `llU z=v?Ŝ~m"a҉ gAK˘ǯ㻸Ao?G5 x1T}os3]`kd,ΆJP2jw\0J8K?fFv5AuRv-DasL13GumZ `ҁ@QGm1A|<c\6c ~ pf3[Wԕ4xm+1sSmyt4X)y ZciĴKAx|76Z1\Q;MwWq\|UgR:QDTW3wC"@ty؎w!wjZs [(nMqU5#wH7~S]o9o%]R(xBf`#_!֞h-EYMG7yUjYF"VҔ̾yI#W!3RHz$1 Cr߼V?9tw?%@X|M|+z n{".]͕ZأLSvi5F ^]ي8CwV#R0@d'~ ʒ?ɫ>֟;zRpOWIا$Re9As5R_Uj|3ϭ|RZ%yϸ7Kp 3WG}#cmF?ɍd5[I ^};Q5O ӾɌ4H֬:(Q" "30 άY|o -TP6-A׷O-m2<8xPb :Y!.uLczbzˮP&HOS6&.@*c%Eu?/1b103ET.9vD7)-`ߓ$BG9j ;%*ww[xZRB=.~nj{KnǙKh(N;U5Ptt!v.sXt<m1%]ԸƮ#gWE `ez5ӄE0*HV" +iR4»I>u_6EzzpkF