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 7\ ]MSO_Regex_Equivalence:threads=2elapsed=545.789cpu=1073.592gc=40.120factor=1.977zXZִF! X"]ŗXf1-/6vRZ*_u#K{Tujab$^}, \#)D;I_\0x{q2UX@<;T@pFƊ4O\T N {]Mn<_>JTś-ɩ!ӛr~[ߎJt˩(=5I 9艟 7 MSO_Regex_Equivalence= %ϰeuj<.g* 6vmyPb0Jrկ+149paauTcz>&6:@:ClX'KCNqqaL f0tHw-8C--nK򛅄-q %g9" Jֶ.KPYWCO7h/pܮ GNQh% Lϰ3ߚ:V- -t1B`YgrkQצP@}> W[Y*Tstifc& l*FzCW I-_NZeB"O&^МB$ԉ"_ئ:(P>_ T֑VY K|˨V=qhvן\AA'A-Z2~CK+bS<mYIB339XM_N/v~/( xh+nZaKT&EMFx`/h؞/Ԓh 6jz<ރj6Z7&rd `VtKKa&RҊqs~v-BIǏeQ͢ԛ8^VQafϪFvGh&O[`8b&UI̋BhqP ɖ]rf-"<{SR_&hQ ?"|4A%09sjJw}"6 jX=bQ2hpiQEE(Len<,NׁfvL\dqj(f4sZD öKzL'2?OU)@1p?;A {Z mtF] }ڋ1W}@F:ǮhLmVrx?Vzɷ''o_}d?h'"Qaw()O9'-\!NEڭrn_NΜ,D<QB\O"q+^<ȥj勃)0RR!;.&_6?s(ItäDًP'FBNzkv\ w|2K%%}2fN>̬,HSlmH k٫(aBvU$6 ~vF-~3^'kE6EJ%xbs<ĩ*hח)|#BӷjCa?&9%Nhf:fpyw ,p^bU~60VO4˳cEu!&Gd%x ݰEiuCGtX̴)no[l#/9𰠌<waM_P?E<&Lأ,qZ}nw`9W OktL >aE(p/?>tCT6r5mߠzJY _6{lV!_;;KP2 ߵ+ΒxbJP 1 X(Z_V HpN}2DPnعX H[gm Z=kXS^ĸ+,Ribf\n̊.H XEk|qO3靴'Xѩl,z؏KC , TyltS\ E׊DIfD4I.wͩ&7TTpƪt^,?/1ĠXV(E}Bm>*՚L6\_BIFg1/ƹ#6n|ҟ<.9äQ B&ӄp8{eZg*`S/-}w)k#'wCiB[0e˟] ^-0d/ [vwT82.:YХλC⾒nd \i~[ _@ cmGO&3~wqp覄ԣx5-NgghG'nCg%QdMF|9!%%khN*f>C yvd!ˏ,U?*w7૸u~ɛ0/Mhb{Pb~e2cH "x:~8;10,yӘm|BHɊt$ EQrӏ#%3?J(8-<'B9y8nbN8Ҭx@UHk|5?@D*:OT] ~10j!@'{?l۹Jf _ ni=:kt4[ sMY_jݲ%+&\I8HZËc,!p `AlR8&vpfz=kRPtT' QP1Y>p{C섲Qx( N-E@`rNT* jSu}Z#sem`$ܡ Z] f#V*! avV{RCc`V1%L`;ݽHEZ*>J3CIRs^hm ?y@fV&ѧM6دvߪBf"Ud|RU,EY&OZd/;x?& ȓl>:Ʃlxj LښOt 6]C\(yo%JA*壟%Ӿr8=!wˁo{Į kmEѝtrx! hĵ30+`q:@X(dXF>; Jw5()Jy8w͘6ěsg6~}]O?kMmQY;oDk9sZe t0um@O+G2g {`)yP}>+5dZRu& QFw6/ouΰi0#=g#Y:ql=wc's}c.SQkJag{ht@GzApQd3v!beڹj2]y$ʇc册++ϷQASPGXL-"QՃ6K,%X,eq }? [1AѾ'I+WK0'SUIV ylQG?'t0ҁ0>) 5|%U#N;=>UO[AtZ߽ ЄRҽv5>݃˳L0q &}UW|ٱr:`7-V@&v'YE9;GQDe LrE9qzLrppd"lzd 5û SWpQ>N29g!՚:BK./B_#uFε:< TfRɈxq-z#ՠ*Cwn(v˼Q=@}!IyG}2![9%r rGg 8rR;/:4վ+vc ٦<(| 48(kVZDuH7/**4̅|Qb4#ǯf%z Qw=\=9fX .weGFW%a"wn@ض5dJ>v5Y b`r5)1zj|-u-LA/A{Ju8z^U@gօ~l6_L^F2RF*#pukBۡPP3\يY. e2sRCd_\)Jփ_ 0OqP3O,&x =~9Šu`P׃r>2tx1 OyP4$n-{jƇ3'n$ TT$'lrq;Ym\q!)&g[ XsI,U B wPn|.oRԺB^d7p5!̄㞓m#^UGT@'])͡>ÑRR Xv *8AwX j=ZcXlˮXXW}P^F 77U{gEtyqhC|F*Ui^ zm/(Ғ[XțX~*R!WQ`APw^e $х4t|xL9xѫҎ7R:][H ,S:-;%]P7Mv:ۚ! dr@ĤImW _Izޞ$Qyp?_r:0ݒWv? }ƌdh6osbDr,/ [aOʟ6r4M0#s[xs ߻kׇ{h_02 U3I!vQ)r`LӁ{C , J̆#Vh= 556 ȝ=|PiBu=䏜 YxVZ#MmI]}L)q7$׸9 m!hhc g)_iYjPlOUl<M\R$SQOm6&wMTOwq uEʻvɂiZc2VnF Ѵ 79]RHDxB\>o/ΏRB8\>}v<2zn.g4<@uCz›^XD2>MA: ƃ`G ؿгmJ%<_ia$YPCEb%ԭ;F컛ȉ]$  u@_wek ]"U_8dxךԗzLԁKVb/nѪoXC ґYl\ {@n\wH' )XTM=ԀS,=y RPd4qxo[<y ?+(XYG[$ӽL rp~L'p6Fn3DRC=5!v~GQ_#$lؠr%Wda ]ms 2+`5u`LsrQG<X6yiYNjWu*JAeELdQu ̮U?mGjR|>¨(W7h i[݄GjGTH䢁rW);( %ms~^cɆ]n"oQj7Hиn1F DX[|\Hq6/mD}{hļnk%ǤZ I,A'aCѱJ+hhY wO9!MR8T<=F+j={$zpɌn+W3ô$1Oq$ :`j4&?Yڦߑ;frNP@N3K͠sޯxoS{~NNMp7 +YE^~˱(@<My$YU,?l #~$9͎qA=i\|CNIXےPX[nhLJX$?`v=ܛ٬# z_XaJ.2hpH$J/,!_h6Y̝ ZMdz6hv")T1lx70&.ed,:#uķA$AʬI(:WQXAY$f1I8"?fQ.?Z2eF T˝| W{ "5aՎc5zB/ST-Wu9o0j3ci&"Hw}?:!:)I)[/Ri y&Ev`gYZ7zXZִF! &h%]ŗXi%LSh<@{]#Wa{8,^j'(k|rPm:/Gw&mΣG{g(swamXI}P[ F~AqWKw>Pxa犎 ">؏X^0*)H[. )Dgֿ$wpn:5ldT80L~#4Law;Q Xr>L˻3}b6ή0_N0Tf~UC]_ #' WGX_ cJSUM0M=ũ*wʼnM>Jt]b+X!ES rvz-5uׯ's`3gjK Y0ykRJ;PI"z%c<ԡć4&},b[Y2ˑ۬GHFhxs>DC8< oP9ʝuز7 cH9Nf)KӆSu?NYh:o26;/Y&^K:;āvQxsF` v&= Rt]{>ZՑ3uoS iqU:m ,!TB !OuЗB+,njNո)>uVJɂפOݾɦFw!^yN>uLB9Ȑsf߰_Qۈ2!~KQ 0J[m%d!SxZnmtv;ʘߕ^Uf:#>ùŧڛAft)ު|aH 7tpx@vI< gNg-nbo! 9(@P- c v Ie}|ι{s7~ʑJ˼Uu~Үq"Wc=%Psb5~Qxe8Prs4O)9ê09NgA{:}/b(ƺ '}WWk ǡKQXM<(Au&=\6専e.#%;眅g$'C|ADs_fb9K}x``Rn0aPoU}|1ffY0A5ל3'aJ^49/sa*y%uud1Ǥ| & $rnN) ZS GA[qg=(j$e|a\&Ѣ{cl,y揶_4aZeB*I\s\OgTp.cIg*#C`zzzM2)/ zO{1fHtqKe`hlinIl$8#bl2'X|PU#ͤuE!S.}705Ѥ?vr9kTY($(׌9&;^IK?'QRՈ& rxVBYI@]r_ȿڥZ y l"QDjaNOz'(}ُ?>M %#kJɃ|(h)!M5BhՍE.َ5 \tljDhz2ެh% jb+-N:;ON8B 9!^8+Nq#X1Zx|sf 6@n}5yv)f%:)~N7~nVv #ڣ"O;<2Cx l 5_"ܔTb!?C${4)8uՠEh^Me.RLGr['\.UT̀u~a+0=ypfg]LD蔎(JBГ8BwR6.X y1?JHŘxHCCK-3+W.ktB_8H'c+ ?k[9Ua񃮢kA4q /#/b\$C63ᐲsIծH©pb8zj RSL"@Yr?6FKTkl`ڣIJR%`Yn"-Mc5F1\j>b0yd"Plg*QV f1 #LE&6*A;'O[o ߐFeM~ PΩEYc`oL3kMO䌻/KA[8Og]NoL刵Z![cdq?Θ]uQz P,/znR&uKWwh̊ E#? ~ԤV5H2e%`Zj AFl➅nFWFHF tyY#.{ߞGüQbq*0n?Ig|;qӸPQ>lQЭj|y{9 X]Y) Y"e,!Bv ^VyFH%5Ŏe@,jH#Z\d»3:<nޭ6,k/xB.^l|{]Y+W4sbj}VC0RW oUyFcN!QRM:ShMӽ uIFu,3H-Qa "02j܄ rEexuEmvh \ k ?[nl 2*|K-4|\b5YuOdLzA85ؠ ϴۃ8^ i)E~C1bTO1=C92 xp %ѡ%.ȣNpBp]>BV&"/rr1Bs퍬 % 9?qMdU-R4 5 &)+V" ڍWd"!lp:7{J]&'VpEa#UզwgF)q1gAɱZ 3$ fPKc|bZ'\kU eV5+@H8rt'kBC\ܯ)aw=k |~3rsԂ1g'QK9H"R>1a2!">3;*rJ` 9"a.1R\jO$!\9Mt(NߺHYqXi.W_| y$/9=Rp}7/*ԢFkӟ{I:3W]rc<qF҆6/Y(aDp9x >n=p$w9u0U;#m!FWb%+r7@zgFSM~ԬGVԞ\ַω9Z3M#[V&ɐ_2£,t\"m5킴LUV1G"'U`@)6D)3Y4KUzl Na`wB]sc wt-7V/:Pg,*pIf 訆 N7LvHZ {ɷsB(ao񷣾`;)] i8p& A?4=]={$0n%[aR<GlScjZbDn"T9~[JMP{P>R@(9%,&ywzsD窞'ѫJoR0;jJ6z9y7-}i*p6~gN8^r<;W@ Xc goCG!,q!c |6 )Mcp|3֣^2wfѡ2?n,*l9JS^ .XQ&"t-;習3t-R_ Y%?~;$Z!!%Q%G (r1c919yMgr.Wd53 Mυw{M.eG(,E!|dF4`sf;e !Z\n-u1(EaOlrZMa K(MjlBo"@j԰ \:I<%fhgeVaB=@(sV뒪V8ӊfr;q^iCgD rFwVH2V"Gߣ!o_-1 [F IbOi [M3_.EHt^qֳT.XDӼaK8RKMz"h=s7Ss`Lkxzeb=D+iNhc\MrW%Ag"t {GӴ ݮf\dnɆxw5m=WT{ݰ~Ƶ\\=~wﭕ8Ǐ65v=tl :ExiMre,TŀQ&G" Z8h 'q"5+k|FTg*dJM/K͋Q LW_jOx]µ1[owBx2p4;l䅤2OȽ17:$6!BXwu.fF Mk4.\1=J#IJwid=KUzp(|ml>KTUl-bCYPuX؁do,݌uizYMh;YMqE4"6b'RxU"i MnQ]oJRb 5o]"@cڮJF4Umpk5) ѷ*83|;Tk[,o}ݛ=>K}}kI62.?pV:ykK';17؈&u[~qfgmc3:(\W>J]b湜 `6KÕ ]eQ GQP|ՙl0UݯYd@|S_Ӎ Џj~:_ #ϾTa@aO[̃!'.H-.ID/[mn ݃&5/4(3:bv`'.XyVoOw|k4jՙmЉ 6w,lݡ?G NFIQߤSĮj}w(8mr^PvuRYxSء_?ǰ.%%Dz_y=3&MZF7rfzhIh̰ee:}m^T: nx:xa)= Õ_L퇘J_Tȉo֛eҁeȶ(iԋrK!ʙλ`C֛ŔNDľiGe]dڝ4 ⁕CzF'7 L.V3%uALf2/Q!ur.ns=DŽIp=Òm%4*6(Tb0dUGkŨ'g>ppi]W@R"Hڰ@ ++K0U-,JDmK=J!tZIq0 ݛI5qjVx7 o~jxwof6ց6_rti/^W5^' os'=Fj wwq1}Z$eDbpE q,6jU%B[ Qv25AgH:jY}7zZFSc[ߍ8lV_ާa׷fq7~Kdo *7!=)zxmIj*M$aV5Թpq{,cRZ<7+IO![G_Bk|FwJ=2d8M D_',2| @ |u(Jg0]2Vƙӟ7 d"- vPivVAx^ZtIA)I~[̳B|>Y>0? Q/9#\j"qB ?)sN^BOn"QXj҂,◁5El*I>͝ iS`3H;g$\۩7j;}OZ®$! P/O 鸑9 {hk !VauM&Ap@ea]"{`r(-aI/@=\<'穒6lQٗ.WR>7gQlف{#SxZcTK![sїSձPmA]%#Ð [Zp<~ˠ%'0Jt6sͮ1@f'$S{VZ0vlg, [S=sz:*>x~Rr2hɵ`:@,˅@z g`!oB8=r3nٔϖHR5Xh`0v^œkdvdߴ,oI`5ȝapN/u>ab-.#T?'5eukTbxf)Y;څKB" ψNkn?cp\:Zwn;#e6O tj5| O̟`OYxhgƽb޺'MW<.9+ܸ/Vj_qtqjӿ!:O0@-kk $G=|FџS]&ЎKQjNK ۋT@U3CP귲䱒- G@^ELcP%䝤jLFP]=XLJ:C4L.83[ɔJY,>8_Wv|pA2Њ]!9>yL+p%kf1 z&!RJF/k^Enfl*[%~u; P_30tjFvM_-_DsAZU}w L3dm(K=g$R8mRdo@N1VJ'R^v6ION6mt{ y0Z΃g7B+7Uo'Y?F|[t Hv0G9V8AtBOA>emq޴ؐ6H+C =t۷; l;IxZZLQ!fV]=?SRY|P;,{@B+Գ& A-ZT98m 8lwq8B9Ieh<~K*//?w\b9*Tz@ᘣHmkqoːԌ ]1`"t7%6wEBʽSDhyimv^Re )13SMe{&:n_[JAFęjdaA2E)>S$`f'UH-p9HX;woYDݕ!vxtTpv@ zmu}.x@ᨑմiJC* !񅜶]FSR"|3~eP L|அ{NŸ#}jv0YU-S1݂]pJY-օJ̠ )?e)ԁ- D!H5KNIx;YQMXz$2bk85F޾B)\fp[~Va회,"(Dџ Y ՙ bCH+7գ ]'FPVvuK!u ' R )4J $fl@T!zKڽ&ꒇyNvE??b.v̓oeR] z{-mdKOڈ8?pl DI}̳Uib.qYjM.lҧ8k/Q^7k ^]ZZޘڬ]bbk"4sE=a=1gWZUlo7䬺Tʤ(vTWiFLw>{p](_["̗yY"4!RTךeL~]GGGJy&X_OIu[o*OEAxb pa\> b@Oחf/)# v-߽SJEuNJÀOjI4ɺ4bd^Z& ]aq:>h 8reܩ! NvDVJ<)Tt2*g \]U9;qvJ4fw>'i3l)" )4i+pū.-D,:2fx!y( /6&&A{- .GvP47m#v!8'0/2Ws@nՅzӷ;iպ`qSg\IʁhR5za42S" ҹ&K`d\bYQ_]1`X' ؑ7C-RƝ!nW٧:&}TF6ɺQqݎ츚 Aħ:͒zSf}9mv37 a$~+/3Yᛊn.ubSǹ f5n 5 8>GMcHE#N`~$CJ> [^h4@걶D/Fd,kA*0P HmۙzJ&t4!Җ͗עVL-+$y\=7܃܋Õ/W֓t5"(nZ+Lۦ5dHڼIOY4yUm: +(_;]t $Aqcc%NduXVES{4%HsЮ$uSsA Ge^}S* P zR6T%(oy6eʘ,9=eM*/)k{cуEݑ0rE#oQy^*&tv|"l˦z6 W@=yJ8LCFȸ#ÏoםÑo4x{ʙ:lyo6eGw!?9|O^.Ű k҂@ڴy!rJ1z د! :hYg\jNjmʹ}l[`x ubqCllIDeQpZ: #U>tZ^Hϐ^4on$uf ö[D S*=~_-Wx^9bƐ.5>좂 o vZ W"iby҄dt@OC̗np&2Q(S Bٔ7OY@RG'/uPH PSa4ҽ!$[bC̀#mz2a1`uݑFrşH\G X9ˁYqe3c,7=6Pk>2\K/&uiHsjȚ1,b BhkńFVQ ̼kkoiQu>GJ>Q?3b|+5~2/;ijKh+89-&/P bm *gk+f#]_ z0SJQՔ(0"C+M}&-Z G$D4q^N'p!ƃGvhEsǐT9&W HBI]QRK tMpƈ@;U-N:GwQGoGۑ*a>ܡIuA!;"wh'`a!pB"A?<:_'-|l;WJ4,s!l$ Šnt+핻2NgXL "lQzuJ&O#LI.?8=) &595H/7{4/^z5B6l5%T2.I)*Wn2OH5}>K'̀=Y /"^t5K(_p50$oF|L<ȳyzۚd,Ѣ5G.&fkrbvY T S̍U90t\=+I]Kut)_QLXBS<pm8׌ix9ׁr׶ia, nwpe7OAF@(/[ߪ%)Z9L򟰰 ™8>]HG>f9'm$eQb 1iEҘ6! jQg3LejHQ$4}pwA}.cU=#]@X U:jaټhrueD|x@fZJցUM]e3>Fm1|0]JV?C\e,Ă՝8h0x,$Bdf&KR):"Ҫg v_0/ذid0bEPy琏"V4U>8"-WUĭw\Yl k&nuh3 e5ׁ>/#@-YJwT;9 MI/:.o[Ъ[1?NԿ3}OՆ*:,ԲZo[o I! O\jDx!@Jm,+rU̳IS}5=\D .5CԂ 3ΙqKs6Oef5 xíϺLQӠG/vs7˿m1Mp_Dĉm6i}8zJ\'kq,yȝ oxgA/Amr :GXja4ڈ ň&1C#Oloh뿃`{x$fH!XnfՎ⻌QwEAW=PwqZVD[Cd_ĬZ_үU1x z3| ^!@$h.X)c#5r] ?xo!'`bԸ+v@,EiPw֏?8I% r,4}QgL s]́kҏz `$4Ԉ+ :^ Y]!}^y ~Jz #֘~ vFsl?+[GN?l)򉿽7w;8mU(M~7g:"Ȯ5[| 1+1~$ .D%U, V]@E{JrŠX~3&wmɀd MGa> Gv+P[-|NG*mDGiѶB%/J?Uы}- s)v{|WtĜY䠆_jV?j5Lȳ9UԞm|ˎewEԢ. ":!XwTHќSP֪ˬ젣'X:-t1%#甃o@aDm,\H#Mߪ/uW:8GV؃5Qıo@[(p Ie'vGPn0i9kx\r0<LJ[lHSr'[Q[0 $.O`T1|\q){$&k G>$+Ym@𧰨@R|mzheqZys^Цn*Ǵ9 =3΍dގtI1JjI]Ƥbn/Y V^3]~dzdqW6xyq"@i7_1$ Q [P5'))߆kjF| WG%nbCr4M7wܑ sZG N1N d*T`d\6s2Ray.z-~*HQ4#J]@-SG1|:Q $R+ɈHsװ6L"%ލ!3!&f E+Z܃H^ӕ[PYJ<4K-X_2@Gv1fi 7ѓwߔo9:E406;f;FQˆzyF}~?ߊy*5Z uRq];E~{0" t!'k6xG1b>^= Jm#tO A6'e*Q^”I0Ȫ脛:l1CʞZ1&9>^aكmL>O[U8=#w6 n+N,!crO$guC=O8gSNM/8ԳeV[\24)OHNcF\S5uQ` kgLPȨ[qL,i(ՀKWPE^̓H`]U +6HrFdLX ?S,Ob$n Y0''5 &x޳O!r_@DK_Τ~{xQˑaIU8"#1!ۯ V'̆KoMaRNהei!']:&P(xEtezs?ک0nᒞ:@32 %^志eT]ԥLE/*_!,ͨ+G:4Z/(*(% ')xϾhp VY!>}/,$ 3N&^.L!">ZI~0dY׭t>*+/oJJ"I*jb dwd+RK\??0Gd=,zK<7ӽk~ &4J@6V*Բp&VԴ f=v|W/ F/~`_OwgG&vmQHB-NbFѦ4mdrZO0f`E(Ok(I}XE(1_;'QjkUֱX[fS*]ӞܡV@bd lt.&q`ȥj6VFI d#>{!36<4 <8&?ߐ]f)L ۦ ^Cͥ>mOivXBz^nAd[ ìN5Ѽ96z[{mBSSWE?:+?jC&`(NPşPK ,R3\xGR7M'OmbΈ2 *2P*e<Ԯ?df^</bt_\=?1/L;bDN~q\)ț9ᵞA`hBjBR6t&3uZx "8K!w m}}Ĭgc&X] ]ˊTnX3[_χt ჴ *|![xm1{}tLb'y ^7[E +S9ПM&g7Ji!F߱謮7ouڞyTg)L^v &ntY D^ &g`#&G?n@^s -O\NПKй,hNY{\d"qmTTAOSya7['tũKeש<~FWyDJxMU?1rXd3]R`X\D3`wrk >݄0oK6yԯc\;䒛̷;<j'@ y' 2I6J2gC~a4w xu{f7K% _k{=$I(a݆X!-I:a@0 !Gs'MAEn@Et&_ /Y7P3rN' CL^\QP԰ ͔6 rTݙ]gSp\Cf4帜Fιg٢5Oܴ>mCT=Cӛǥj=YH iA,e}w,ltPJ`?pVK cbKoC LBaK?1z!ʮg6'<٫ԿH1-D|J_l ^r6!)G,sZD?K̅[LH:a N{|QGޒF&pqH0WkBykE'$_\p Kxb H PJ|5D]y^`QTms4vQcϸ5S"'Cn%Ę~[w{ S-ԁ@ HeWOHwn3)a }=grKoYqɍ,A@p(NH%fn$Qz2ǯH14劸=Q.66^md9ptE3R Gp-8h9{$z'-HB,B:eSQPe͜W|YWKM%"Tҫ$yd[ws%蠟AP$5D~,vХ荒:(IXi\ bU*UtB?2!7V:#3+}2 nJ`A+ i-ֹ, N_ƚ¡"JMi=7D#ob񞀳&q0 K)&;fvF3˞\!X?pRuS3Qrv !Q=*ᡭ}8J>uF>EFs2`BL|Y̾:=g_Vv&tc!q#pqsvmV3{t~j{;{B޶Sޯe+wc zJؖ$ٛĩI`S+0`ʽH޹FQBh(g5fWj'hEJP?(_X?YwR[,T}+qy.Kh\ 1*YY*}Č ^uRI71CnZg)iX.NΣؖOz7&/U~DDA*tYq閻Ja!(Uy!=aZA]MÈ5DAZxPB=@7F:T+=Tne8ChZzS]]+oCsXEh>Lk5 Ql i~bމi*4zLݍy4պЂmH6n(HgtLv=VljkɳY-v1?B6Jm!;@}ѳ~ڃoaHlPHHz`>lXW0LSB|$rmsj#2i+6TK=A.W%کo"b dz$u+oY{^[}xKE8kB0p:yģT}f"Ѵ~NG.JĥI묰P=vZ'FmWPH6 '' j敜"y ZHKƪ$G, s/URG@ ~~^ ӰdRӎ11{K)݈̿*⑚2X' WrmJ+q wүʜڀ,~&_ȱ@!``RPK o-ͣBnCm8rwgj G}e:9kQW)VsijI0Apي)HPLw[`P>\vfe!,\b,FM=8ǿ_BC9fϮs%,GH`sOfj/sV+V TR/KpoI #;»b%Wn^;ʓח}Xv{[^ڐz5yjj^GB$,ٜKB PǺ7|Nk3PdBX+>S+WY9J?Vtdn-Z"g:cYݻ&fTG{xڔ)Ga)p0¸|_0jAqeoΑdt# _x9&7r% }PK|E '8-K_<>tmrDj;[@($:Яܴ3N|.ʬ}0ƺI+IB1QDDfJ dl]s_t(csXJ6kVV_PBPM?dk5tqT&q[XW i.p l@ Ѱ]0hțT[}zNYр/O Lgt aETyXm= i9^abP{0%jli OSr[9PN\Gd}t}D^ƟH}z:t CR]<L4NcS7J/qn7 `a^0o9ב4p #7 m' דP@_0wBlK07T܏߄ ,aYDTpzQn R#(%4ڔN>1WnzB"sl]4d [븅JTK2E#t(?_OR+u&5 E˓k!˛g4 _JV̥$pokSt1TeU=T(7H,z7nƺ|߼-˭Vv{n7F3ATҊ$Hd**7c¸anTnŀ#h ; 0GQGbxc4yV*R$8ϣ36 >{OSݰz2B@4'xytҚx[Cߑ1D])P-x}Pׁ$&7lAF]̖]iՊVF;6w@ӦT'ûJZiGM:X99Db9\~5.%E3˯pEP!TᴁyCXD ̙BŨCHqoU=y[K%)|"e4jPƧ#/ {bzؗiӔ]#M{ͧ%G`KW#/|U&q8bܩWCjjҐf Nw)\CvBmvLJŦߒYTI~!xz |rwuJVf"V(| 8xJG( ܝumTǘ(!΂uҌ!#qM,moaPeӆp3Ǽ$PSzy&W.Ҭ0GeL'3xXxN6Dς3rZum2ogrlKMo& \(Bi8yYNd T\}ꕳn-C=Ip:¿pdTW| aRaF?fL/9\-4h@9 [ 2T6=)P\HdQM\ %s>/:es}t8V~XZ|ɛi(HTHUg6q#i8{@Nh:hoƳNjHJf}UNTԂ/ <9&I?#KYw߹?@!i=gO4N en}.FF$ ǖk2L4}Ѥ@8_|s f%>g2w:_uʁR75CZ?40jY?(#`G4,olaTr(0 S;~62$UN>K|H[%sx"(%! ט$5ѳy*"۹z\"c(BYK ;j~eZ:'hU[m|`{}e«%3:2}d?"'M˦td=\ո< QS4+G6hRc~I%ove[Qc҈(.趒].ɋFhzQeX Uw)S?G$MpSϭx(όR :€PG,efD[{?HG#nO>D{яȕv`XH.Qm 56f_