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  !|4 ]]]HOL-Proofs:threads=6elapsed=670.484cpu=1401.176gc=196.180factor=2.097zXZִF! s]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbaWfM K݌: IfW)zGLe0\'-YkIպN?hbҘ.Zzџ8=ayWҐ 1ߙQi䟎> 1=#߹lވEZfAOpȭMPTePtL$ezƗsH:ʚue_TOI0xwS=g]o_8UKV9Dz(QA-3{\87vCG˘ n߸/FRo'`ѐsD3Wmg+jE F"?Y&8(m |c6ݙG58\ %^|r2fLvچKY8ϯNݰ `qD+'֓vyMy:mW6Cx\+-?>8hܠv!6'~o?M$`mq~Zճx,tU,0v.E ,CI)dn?zq&AG7%7C솨 D (iCުss*C;4"[<SHe'M>Ȏ":yH!LFCbO@c'ɝmJXWm i/i$k)[U15s{4lK4$h O?*./Ŗ4^7Eñj *F*餪.ty۱}3%g5<(*d%T2-װ/FzU;{z#-Rӻ,TQI'uB7n'! ΐmy~S'.{CC~vH8"J=x<%P2-<@!&S <1h\tq$|3Y4tG 3lq}\>ZQĢ[8@q,]ghb0{VhM@r;^03u~Oפ?FR-n8ާ> WvƅMgn ?^9矣bLL`S9b  r}Rg1όΡ&ڡÍАO/SC>urJ=OYSL\$k;}J\E,#u74uK.S7vM6"#&̢9[9O!Gi7;0HHL% w3`DJSW)a np%42J|2@4̑e8NnL#ig BM U:e?9,!=N`UgZKpP-}hW*uV2\δ qT/y:HG&xx(GD޼"ۂ&R&I65 ff9mM׋S:m!W8G 3YݏN+Z b:vg]f}JC votTF\`"FA7Qfqj>l]yi{K'.k^v5q+oMo߇ȤxX=`Ev:e">v(Z-Yz)dջ3i瑉a2^N/t`X%WΩ7NPqt*!L)  ! HOL-ProofsPKpYxz{Sm+Ez7WGmDg\3gM:买q˓n tj''w#39ہHZEbdiM ߽3߅&W] _`3gERTb&Mm^ sxW 7V{,m:zLSDTMh #զUK)zMʯB{jK[Pdvwégt`]T}$Ը 936>x evÛgOΈoˆFBvOA* Xw;"2NO5*O} fX:j%Bv'Xy8 vw _ȁ.`Y2tߎf85nIB TޠC 4uQ3v/DzmPx\Df3"Z61*xzbUܰS06,_"U~c X@TVjYb(zPdOo'0L⹼уhdկ?SK:/.x魜y ~ekT憵t|Tk)>Y*wgpSAVVsNΧ-n)~2ͅoٴql5+56Ѿ< rK ~T=l Z3 [1v%Icn>{ΝƻLvKSk[~n5)vM$d3ֱddi4h ΏiOyS(̟\r&ɐȻ%-Ei9ԧ >7Q¢|vFxH|b#/}]7tBLUM& E9yhpWkVzRp=6%u48JԸb\_tX@EC iKQ$2)ܣYC`xQ}LW7+2-6:Q%i]m/:Ľ'>|^$vAu/M'{z+cL&,vC\{ 6 ߗ%{28 hV#W QE?vU 0T\s$o,lUAnc1r 607D!4}LWJ:8;nlq /fDi@z-wgЍlD zjN(@Q7N,(YK:ʣ_9cr>rZXdFg ks)'r%&C$9Y+++ Go k0]\6JñŲ*!\:[X,^WߔHBԦRޕbWbtR!W#z:^U9ƪGiܹ,<̪* k-Hpn#ڸ3 +~ X7?q2a;{O-DJHc\RR~Q/=C|e p#HeHkb+.[fJ[V7tX,Tt.ąir|X(Ia!\8\:tOd@g/#Vkz۞ gUrUVl$/fJ #¬e]m拾(]έ4#t<.닇ǫ/z"se *+zэ_+WZ d"->DS&x^~k_)Kp4+ok bn4zttOkd+?R@]P S#"ۺb+HҌ۴6R$Wy^ɯofU ;vJՐS _Bt eW2>}T@*^TȀ !)A 86RC~TIZ=%Y_&=+рj_=lAn?A"{b4|44T PM}PYreק[xh&7 )5"W`zUJzSצ1,դwqBƾiP`M3dh> _n8_8h}4l7N@ԒyJ+櫏*F学P`e}2(_oMUM Kn7i̳ SWmwӖJz|QPTP!&-u\Ar},5aWQgn,Y dnf -fH$ F͢`lcot sB(XL66UeGw⁎.֙]u7?e\y/^+)#5|ے zrQ5=fuf~^shd7%alMa뗄ɏ@o2u-YĨNx^7¢;.|hi3LdMg/AחHf[NAzE+5Ce }w ~+ik6RNƈBgA`l?TJ6rX\Rq@V\FMsiegNnj`k$M |'(q7`oK3yL@ 4ܲ.9U\xA>9Key7ex a#.s/UHT wS:}ZyX 0>O ";-(wf":ڬ \gb~[}Vam(y(咖e+5] QOd[`Mճ;M0lεb*uϵ[sM &5ANE9("\zF 1YMO~XJ[U1%dlS I5+Lfa Y]kP?d& -:j S@#]s(.)O'gHe~}¡$Os/M}f7QPj[?i+<`*56tYv ڬio[h 8DTlשbXx<ҕ/Uyz|##qzvwBopvV.ؿSfkY:C]*ZzP NaڦwxЛwlue1}㱔|7e ~HI|㷞 jգ@N8x ųƍox):,tDiZtӄ02vzV`~G3d/+SA!zrF 3WD*pA4_ۦ?t?(YNY#7n  tp* ̭ ax.CfMb1`X3lPإC {)FŬynOb|3hG hD5b@q: .uI=SwrX GԱW@cI/}ĝ4g@-U[uR !Dc{S97|nQB6RVC\!YЗRp;Yb#<ӎ,}sjԥ7xmMEM!!*WtJ$]ma/5m`kL !t^XKe=ԕr_U?1UH9,7N5sbj+.IܓkpB[ϫZkmsr#z {xN(R<XmBeX$69Ͼf*]hP[NN9/J/ ~6F#Sbd7. εY?zi&ӿ ylJqKaUg׹8= ƠCpΨmn wZSto,|LYk"]RʣCU!1W"nXnOX_o8mɄ>+g2uY&a{ 'e%O 2oL@AQNs ҆8x[ Lַ֧( dͽlEvi)4/-}C_M4%V9DqtuJq20n}gYZ7zXZִF! w]ŗXi%;VR91kKMϠ2ƾpA _qLf4Lf`8KK%=ĢEOqf>\<Ze։uh?KZp7;#W˄錦*~REwR';Ư,\V&gosͅVQR0 ;]d 58 sU m_1&'/ nCD7?736pwJ/ O3W"TJ|ߣX!ITj^٤s(WJ ,)wt[Ŝ;LWp͊ʔR-ށ[5#Ȏ-F>%ݗR>HؗS$BNUd47Q;"`-h=Irޛ"I Wf+b5SS7֫%w\ 51/|kRӷYnр_So' x:gfvω%E5 [GOz<)%:&\1%ԏeoH"]b12'&I]Fהh\,B"}TD#̢ ٜJKB le3 .~w9(e֚-N8 }sZ/[xSZLďLԔ1S--ZM(d,SfV./ݤBKib{Gh sK4d߸2Yn_J5ɏMQz9ۀ|O`ò`po%;ro2aRכv6OLKJtneYnFlpCGRm6eM@c=¶(cߦP;Z1Lgvx$Ȇ 1%YGzč(yo#x cu:--1Qͪ. ^z =S2. Vأ[x\ pzxD` g 궭?N\> g0-#ߋzl,[5c˕RT-cA fE,%pqÆ=Km[k#x;[YyHpZ&NTd2AV0q~&5YB7Me֖ "afпk\=BbDPwK.ȫ>"d$'ˉ|O9/K'ʞEã1ׅ6f3Z?[Voj%kT@(˼ѷ Y#_9ͮnbֹ6Fp=Q -TR:٤[R5&z&$Vux0Åxl,7;ڃ,=x4pC5ZBts)Y.2T`ip6bN3Choġڔ@TCid蔔7&ND5oļ* uYδizS{#֠Rw9"R .iQ,AQ֨%g2J7\s\Q* h*a2TvO+q8󅢰) >>R@&gxdSBP*x>n1G2ݿuG>84ڗⓂxKM3BHlnG*~%2T/, $Ml26rv\l8+@-7&HҼXf/St| DwH}EiD_luQFC<AT]l k /bQIADPHynQ+^s%r%G8Yyh,B?4$oP@^ǟ!Om;';~x˼mQ>gu%@'^5S亏y$H&y֜ aq4*h4݌Z0\(<Λd[.E[!Vvht!i3]= /4u"(II$oҟQrupd!h,2,`io\Ġ Hc g@޼%L=t-nL\jpEὤ>뭄Ezp) I]VVm]AU;{u(S0]TpD,ՃyL_ZIe(jK#{ԇ"|Σ5]h ȹC+SdC^ O<1NqJt/Ǜ&#BqaϚ>כq Yhb̖Cot$KQYp>wL+T릉PMͱKуљcݑߖ$BjdB|F?(3t>6̄'wteW 7-6 oa@lۆ R-X __ ʀTͽ}UJUN4QG@YIOʤ,sD{塚lXu]l:+LSޟm|gwiVXmGyF0+(g,BUѰ- xR853'+'ӦJ0"?I-A\b,nL)-lKwjt;vpJGl52#t)h^饫Ţ ]KKRlwz8Ɓ9W>ZSَ&~et5Nlcf0 L _Jcg'ͅ98)76 /@*$ JNG"Q2GWILms?/V/YGV-0D_H9:bU0h1Zl5ʷ 뀩[%s7忒p?*բ7 P4/t4JתLO6HtA'SW[ CJԫN`P@8t8ᴉ:}fHU/y!  ZZ7>Zt7ˬ!Ys6yXX3E(>ʖ 㞆ٍr5#-5L}HjI8/5ŮW%m>sXd;:S$doA'nj=w]k@/dGXTـ>*"BH`B4^@G@7=ɠMuӞ{i>~cNhnV㤣}6C="`;%5Z}7h*BmSųjqӮE~<N; m$?3`?%PP#n-O642Y?O)ѯ ~STi" qG.2PK]MDJ xyLBA9bzƓ Bk[C&sg9F@( aIRF{Ȟ/lAmhxuat~3S],v.g9秕݅ [6P^y u7$![_v߶|ACb.oѿ*jr2=cbnlx"`% kekWZ,p} q˩ )󿑥 3oJkS%0zcx\yE$Ce8UCvסC݌U?KFaWJ8m54:5KOi{Y}G~4&G<.^~"`HkdhfYT.̘'G(ٻYdpHo74@(JKڿH3&&_[xB)K;nCx  +-9(YoRN`UmoIUuYwx:2!F##*n3\ߡ6iۢd=GJ _1؉}'cIZM i:{'-|J<^d#gJ ~52Ӻ}TmJLyLay٥F!fM X9Qw[~l4G*(UۈB ;*(>F-úLwtOR@2P6׽NRR88aQpzuzV?`HBNâ{I$\2`FϞgJW^g؜(o͢rlZ}<4LvNy$!=%2vo93Pylmh^ RuԮ b#*^YTv'o"gU-VdQ$+78G㘟gשL_K,.5_~ ο9#=_U$ _ rt_)7䂬:Rt&"oAw5(d͟6n0Zo}{ZX۸iLP ;2x̅/5Q/{๓_RCv/3 n# rqK[F($q]! hx4rAqgS.ҼHH6q5殕Q2`_m$\f B-m$JxؾZa11`:PDbIze>C_+aĴ B!u<֫Գb:7奜B\Ey#4\J~!J`- ^&Os9i W5A+ \/'D#6{@oM kW"E]vn1 plݔoin:_q4dtGr*b.9I^NQ0^5Q=X:ϑi7&\)Q^岷XbiF%AtK'z-Mp3@zr? 5uq~D"Q:9M^ɟ;g=˜<Ѧa@9ܽՍ S)̷_ Ζby3>vߓȶ 4~/07A-PIh n059A‰"$[v#-eb#wR6k=6#"$AD&_o((܏G,Wm שtVst]l<7Gr]VltG,87q&֫䀝}šOn8!Fɍ=RPof$=(qJ87EʚQaUw#lhÕ b+6P϶^N8W 5s(BA:1(؉rt$4-~ոHj'sg6DaMy(Ki')HU 8Wn-fk1QZ1Q9/2XǩJlAD@ .i?C:5Ncֽ"i`} CnF~џG6@1b,4>aDlZ:ޮ%!$} NW%YI]#7'4.9ZRp"oVNiޭF" R?wF ФZ!J79d)A݋E$pˇ+F؀8$+tYgޑV>@BQ^^JF[m4L?ωD*KJ ݎ1}x[%@y hFq VlxLhW*l"FJ@T'>&8qc@8vS+|@euMNMA*aӑ i@ "b^;tK 8^ϏPehS9TԪBPy"clާ yXDH LGAኅăY4q@ǩIh}-=oݓ!,L^$KNVUQ󋚃|BN ؠZo6wo;OWJH)c?u}.NCK Zl V]sUg[N׹\g0& !Z#f__GqGN}lRJ$(CЍ 2kбPCfu `@/Z\i؋{Grme~WÆi:Z)x,Fu ^¼, \RcsZrѧzm3g>>]uġ C@3YL҉6bTiWsgdOM˙ک6}ꄀ*  @QDCz{E^Kr&gѐ Z5dJEn ?ݫG+Rgy+q<[rϔHRStipp³VhW>R7Bk8)kmn ($\f ` I3>ݘ -;g}oiV^)wi!7 Xhj-Zʾ"qw&X]cJ(XM=)_Z2"FA޶%yG}f [9ow.p6t{Z;}w^1aj úqh8YMdbɟiⳤCt\0/[QǨyo ?^pWPKh;iߏv!r 12 Uݛl8,M0=:.cǸmXi.M'Vӌ[VC3GPAAlŧT e4!v_Fi5n5+l6U`UL6X\.HU)gZRJ0.Ywc?)nnM4kxp.qC"L>wG&>@(XDRgU?!|,ڤn3-H "6 b^8uijȵѭt9XAa$y [;فРuǩV-pO:9jO[JLTdfzV;9.l躼&FrKb) UKl4e8R`&~lyFo_;iSP[߻e_CwyAp@-X2M*s_bXF`UMr"= ԓLG?7IBFڟ{)cd>P8I2sMnSb~ 2xIu!gq.= `+mVMw̮~h3jC:мzgg5wt#3'4,/v>|nfTxnf'{s αΟqTaZh6nHuDEr9b;cnPaX< HfAMm?`g^ _dy/w3=M٣9i;+/xnI.U-J d=o͖(1lZPQ$^|dҌCQ⽟Pzi ~_ݘ4,4i%4NcSInGk 1 6-NM Lxf>漐bP] ܆^ʏPxš`m \b%faY#IRUyS߂ ,od8I) OǪR7D*<'uxƅ>ggH%Jca~]rh׬H ?䟝 G=,zrH4ce(0GV&4*մmE&×\V{LU[Uh{q}tg1*)uU ,NK-*UI>"fwrn8EZ!ɣi+;#V<6F7Ncz0p3C;˨a ,R9W*ccD%֙ #W^,@fF>X!z af %)(|]^oPPҽп(y,2}o7C gl|FZ诫@;q߽jwcN)8USjȣDK"=F@7 n~5뒏a¸L嘧 ߜ+HNP t ,ѡBY|4bϣ0VѲ7 )-ח;!Ӂ,ȉw'٪E:6>ɱ[_h dD$Trᰗ I.웨Dk3m = t0ž(YJd&gR^bTj츺VNS4=؃+Et盷&լq CPB{؞z|O7A+/:Dh;s$0 7~eaɖhɄY͛Iv1Gn:׬а /^E7~e?7OhpL$snOU3X{o;mfmgjAȰC[؟ KNȡC qo>︨U]|1wGuJg+DrQV M(~4%fPxS#A_mFlIbg%Ҋ.z4|@A%ܴyẐG*wUdqh/iovg` -V:rs`4FQXyRT|JTm2sfhG r?- $c<+sb\刱x(ֆ*ó$pc-sBD3v-'8ׯM>fƹ}( w(ƒ[/:r$ L3|MvXЙ7RN/Ž{w"WqFF8]r<#&6r?xY  kOasٗ щpRՆiG}4*]#H 1hJVt)3K̎[iA_p Ay@o*Ll(';Keu9]7&$މ'MZ`*Pj|I,/.a~ld,4ꞐkuXy' W5w:EW f7Xg1.~I4xojd y@1ǏG]EKXV4!waõϥcq߄!.'ip+୉kiا¹5Y)ZH֍ \{C-ssR .}-ItD5db4;Y& _5+]mo-׎: l%g;gܲ߾gZbHSVb#`$Cd UQHd L.͇'4ng>@bwfsOy\byd˜ D Hƪ6%HY#.zFuT>P\_p-38[=;,q=s촣_[*W|FI/קxZcu\n W>s6]͐<)i:^\,$X=9ؿf b;9'p&Yoovd3P*,eY}uȢRV3|ǁ#_ǂO*n9ף#du;+bC0(12HBRn\ֽކ~Dш܇eu OUn=&L½~&UVܺ@bT4 8! a t y1\C ˽;NjVC:PD<% (GƷ%< SVDKWzLTR!gmͣ`[P፠<(޺Jƒhv{U25 hm7"7p?P{fؕ偲M;h#H\ufŀ)4^>}LPr>eZ5*I@m#D 78-fex\thd|ڋkoh-Jzg~em*( ~Q={AoH 9sϫ !"JZGg;QGyji[fY(gCg fAA[:3C\Rpt*QwPoɯ#%Txrϧq6:CYɫ3恂fZ v_6I΋p*l5gO #ٟXUf`3|,ÝBgBƸ\3xf㐿W[5>ne@]6OP>ZF 5 f}ߑXOuM)!ox>ΐpSILs7AUW~.okU3U'ȭUTff0R+y  #qbDa]󁮗\K=UYLw>凶\l-ղd:Jg<@k- 9 #%"t©&j&k嫚#撞3*_MSo½c ?@DB+3;i淌bTS?s*@ Dq:y1,J:ژhp^ᓲ%)!-Ve>8:jWV8V\քb%3Wl "sPBHL (UrA4u89;-箕oߕ.k~1fƒ.Tl_9^I6nxc} ~NWvт-x⇞M2mE-mEGs|0;N׾(T8"Oɽ4${YgRs޽n>#`tW]߯K.vF.Oa{껈 nFcwB{ң4.14MԫU8 #2 S9s7?DX/@ɼ7tó|5iPBI@'B miK-ci 4^ӋWp:)!cZk6' 4كWAʯE҇2∺8Ɂ>^xQ*agX`B` ,!:j+PpKdߣ<laj!}I>XS'\>8L8q[`Z6΢X&P_ɽV΅1rD͎Wz<ލ,tOen҇PI·f(-n{%PUD^meh%H $tdsMr 6h&%83L{U% %maOt%ěW&DC)1e_(dF%C ]{ 'r^ڪ KQJBPJUN=&>-.d#%1/M2s8|7N[L_tSh&ч'.KyWf}}ǀ C ,MɟP;kYuZ=@`!C22{Aqhᤙ[ 5Ed4|qT6+LGAN5υ_)'%FCieC+BQJ[esnRÁi7D]v ڪГt_! - Y5Yk rG>Tb?Enx]# mt ;O{V#-Yx>6TO2v6iicYhj`u!0&]DIB :qdlFH,}[t?7QAx c; gvε7@$k߫l}ɉZ+NB8,X1٣|9 7)l9NeU&MqX<-TZA:vNeKLDApl`Rs]p B(aG UBo ?)!:X[I R48>>;͜clY}_˶vy1?"Vj81*mQ=~1" C21 Pd c8D%Cv794P6 'h0ke,SbǮ^LdY+靱Fr}F1+M'Uo &dMm4]͠y'2G~U4_!&* U|B*ɣa`%9%37c 9YldvMңVuv<_(' GCn <ӍYuS{Anc"0|!0J{j?&NͳD nqs2!yO\mˢs 0ؚħI׷;x/2Ҡvwh !pq2Wq)`M)1»pWWXDg^q)A(Ws a,Txg&`Ԗj(ye\;4&=zjrk&G.nY&C^r|&֝%DSs늇I:dSdK "R=B$yi:mf %^^UGNS/ܯKcD 6K@7lS$ Ň DkM:@n$rc ~i폫m\`GO^06j>1JN֬A;!Bm(@L)CwZoBPP+np}0$P]I>#یc>{z"MA=I?EG8.>1{Fm]+B:2ali;扈8enr!p3X.A_ӌ c\Xj^w]_VV5;E-9GpdTO#}_s4c^K è416]6c\n,y΍CtUk6YIfřs5R!r{ ?-`"~h !ObY~+5 \|EV`tP ČD*@@L,bČM( )W`rGEk y](!KPk%7˖xˤ[;,uBSB1\ I]^`e,m7S\ Wa}0 cQ5,Hڡ'(r^.JCk SD6ΝH&Ӯ rEtJ{=KgY| }?9TZSͺꙆjWǣ"o~2ѣM9 )+Eh?a) 'igL } $֍݁mmH pΠ5"܂ULL#$›RslPto-E?+EC8ːv88΀6%>iN&N@yH'ņC.Qe짼 7@z%Rm w#;B$BʛzC.qA3 gXoJf R}'# m7Mn'u dG!NHe4VYHfN!0=-1pV5ryT#\ ed+)/!] ^<Zݝw9> WI}-EI&[UW'ģP+OUs˿tOrKWO I]"2a޿L{`DƼ{Bߧj[a ѻ#dZozv6!xؖb[qCcXl++O4̫ѦS}oɖX}qƆktΚ; OEu6ʘ%e!m< 8uS4{ύf}2N}ɢ4<"} s9p <&.#-b_w0_B*#(̮?WKzso(9 3yU%Z r2ZBJLh,.6,k7ߖea,dPY!9S #LF$\qjQǎO &rc(8aRS+n/lWjDYKȹ ɩX ]F#yCn74HZi_"T%0vTo >S#5ţ+(9oADːϼjBW/hqL_$F&GnD]!9Jd3_N>a!Ht|fTgD{k>,ʲEb~m()5N >=`b-p6}ؠc…umePxWmY&CE skQ!Q/{d6!>Z\҄$Qc (^-Z|1EvYJ3n*C_w}A}\.1U7eQkKEqjmcL,ێnR{V5*s^Աh7ZBl MÍ}ڲ?Z|֥=st%LCe欭zlT>yOAk&z#:D_~Da16hL5\sN 3&*I&CHՇ5$anji&(mpݷ=rssfYK7W$,N׎R_[A&p0T5N9fUojcB=TH M˳;.#e0ZFVƖ,5pYMG73 +CF't7^VhgYdz/Ur/W\Sv2G=_#C[ 4tELbyQ]3k̙:"TM>^A120̺ z[\Vos*z5Kn*rTc'$ؗ+҉pD?feskK+ as={5\,ЇpKIH:,ThŏIwuq 󞈪YU"1w:ݨ8z=f]G@6a'k0n wg0-߫׸v?<82)P3V?oˁĽ1I7})uزKF N5Wf;ߊQ NJHgFlYXQALNeG/ʱ/>P^]k}NZ%h`?ɊXЏUD%-A ʟ/}L Iъ0ogJ@K* bh5YfLQ@䬘Pj5\AͼcZz-A߿蚓_ӓ3UVF'B7 8kC);o@h"C&*#5~ ܎ B>/X)OٛikDGbMXX<|?l1;Qu/3F]wɉsK?#['?5_3+׻;Q:ە8\JB%~r\9#-vMߚ / U+g+go0]'>a˗,j?$nҦbru>k{k?~nζ*k=~d6&#x9~M8gF{ZMm=UC5;XG!b!bfJjA SN*T̢fG^4GA661WTo+LfqG`X# 6*ܚf#Y/(.>16%Q[ެq؈k{/K}1kEzei}jX4'Ѣ) m=ʰmJ3(z[;A`dd~꜔[E 2i>& O2"?.{rfI^ʿ\G%r-& ꓳ2>Zm_}Koeқ4 zQoF>(AT6\FD'V`<$Z} :18_׋}d"uc6:=QG*#e}d¸0N!tP ޷[kAV闰X Y}(!|v<~w6m?i^|G ȿc-Ef5DJ&&$geT^7S5D 1"-d*i<a ώ{ GnC3t;˿#) TYHӂCx|Oi&^š+ ByfY1(as"!й1O؍JmX,z':1`gh-'Ib'38(U5Aw{^wAb\a;@=`.Nꝅ4a'*bu/QظyZ:Ne. md "*#udTǿzf#6zVWA*1%m/3926mʺrT@@^@<{f. 5Ѫ~f;@V-ectN/ת-x3a|ڱ(VE/ϑA t/Bn2)exѪ]e|RV ۴m%\G%VDS4.X&BK|4M>-ras4]}8<rZ gbKgJzd'gQ_ bmw)&׻MݠA4?ŭX;UZbȉx}*/cgLn9vC3TN, \MTR}<}"jHܩAGT̀N7& sv'bw`4X@9[sJ+L;Oeh,$ %ɴokQ9ؤ"=»S:lkKss+ Z45r "s2gi1,Y/e0C ~0}f[ݩFrYC{~A%/9?,5z9Ԟ̆F5~_̃ ]LˮYС`L_r? !ppϨmݻ "BŕL<@_ҩF}M&\s{hrD#kM!48!o^ͰFH۬xS5|֦VyȰD{*N'QQ,dkM#XDӐs_!9ݦd\oGkh^ԉzq V;3`=9W>Z o -n[C0Dt5D6%sEl֜͠&>T,Ɵjijl.DD 0RUkFtU C:!%F=.!\+YxWoXYDZ8.Y>H툜^pFlz''v)~TDć^9Zb6t1 #r~^|w^ꤰR3km6$-Ƽ9FEĿГ\bxvoITseq `N"|, upp.MY*9|#n5SSzmb'%F1ϫl}]oJ1vRn**2AI$B9_>W/eדd!Ӱ; A$SfLǗ_ 84=$M?ճN6f1vh㓕F ~Z GᜦzZED\F1}77}]'[R']0UW(z%?y1 ˜JAn> ǯ Ybi4BMkJp'շ"r+C\DU770.t>V& aL5j3#dQJscrT%\.92| b=;؉1u9:8FGi=4 NxBG:`pܛAw1jRآiE; EϺ(!EȘdojm(ˎ8`]*<ސ tHp$ \oXrŢ-7  z$8N ޢ LK_z+{]QiF:MjI! "[_p< L0uoh_VZ73eQ=JgDVapK&}b>yu1^!;{zR\:uZ'qRFEX9O#Qu᳠>_Ї}a;EY1@0"w$OO&w d9o:T[%etj[t!)@>o| J7]gA!cp+Ɨd3)ء'x5Vw'Qbj 5-.pwRxBIlm[TZY&ӖuH \15"sOQ%ԞlBsθB/F\"H.w IΤa_6=}F T@]LU"*q'GxBޟDBFp r:)hy@5P62Mo GF)U)nKD n%"gtЯx[ -jzm"7cs&Z3I6Tɧa >|WԜ1%4 ftnr1XED3Sڮt#6.,ęT%] +SȌZp>tm7&]ɾ+."Ĵ~2dDGƞKN*˾wś2AġmE܋VDj) Eu&b aFJ__t(x01bϤs4̾P>-|KTo$ʡ؄J~Z(GNWzk4N3ϑz V bs?ªG$[mX]2 ua;:ub}77\<8;Ŷ*@:1`d_/xM&])ҷ0zLh~/]@Mf2;wݪ]Y0cC%|8 sfQp-PxVgk7PF!] Q~R6~1Wvp5ڠr?iG7XЪ_}_X%;M M"k 6 f BjGkdd6oe}B?؆h^@s7;hi@_g?EW9~ڢoyf =Z@96;5nwqav̧8Fٮ/Nȍp\)㍺'3Nj]IZInu-B G8;c_"zF4?"xjBt6zA=/.}),_x$y㍽VD/$T;Q8+Tkbv)PΎ9b1rYHt2G K'b~9F3tSF(ˈV.{Xe9V"Pe_a$w2x. Ka\:r ;^PBRk:[ȉOϲ^}HN"U&$./5F5.6[/sWeol2}KUYN&*HԮe~эa:W'aAQ1Nt@gɓL?K+,ᙹlfC >a1;@jr_J+eisY F):x:>Hy*Z鬭 XV<6ط \_4qG}ZژHjMDU2; _5ۈ_4ZbrJvASKӣx2tC%ѨKL$jĩpߧ~ f/Gw2>#0R<(ˈ{9e<&7@'*Kp$7xsԦ>JkvXou{D${޹R'ASWbd 4w~*n~ooK ,|ht._rPRnz07h c~슮҃rnJԲnpT{hRSÜ S.Hַ!wZ%G_i6[*(^DuZ'bHac͋8ECgc=c;qr}llܣZ4Ю22,%7ƬNpmx TT^}{zY7C,lC>c[ TD8+_̨L}FsPIsNo7vgX~48 ;&!G<~c:(hΰGz7s6$F0S:M@&E &4,u\!xƋЊJ"&c/}̅xfQRP~7ʏƈ2&LR- -DL;KhrY)leT 4NC2pVCzpg55`E!0,2)V4 8gF{E/{Y*s!!EC&TQly:>iD4;E"Dw8Q-{{ RnvZD^nAUnyG_Xmr''N1b^%tpqI'Y IJ"H6 G#A4m6(!;5.GvF( (\"k1Kݼީ];N% gk\ca?HH]+6e$),֬vd+pZ쩑_󛨰 Az#j,Twqp>-k#IW<(4wZ3tUWO%Ih '!~-*3+:7<& ]rv+ݚ;e[E-eM'tR@Rhw3Ij~Չ~cPYe7^0CқDs-(@D\LHaqj ;w%7-ȺN{ì/iE\_ai\gLfEPN]tK`ZR~G)8bg.;0PɜRw ~ oق b禈D}ˤw3,;t\ TN6Bh3OnSlE[r$bv<zsUҶl(Àfib/.:þ"HȔc:=KF\gvm`T+`kl{ vW0&ЃO&0`Kg+1( @ >|TؚJ_twFhY?n܀- K 63ΰIT UNkhقkUJg\)!^ #Qvg/n  r`f㤟+8GlF#U0fnn*j= ^lXb$z}E1̌ S|:ݱtI."Lm@0:w!wNW$OC(,B$NAi_^ J'{ !~"idCO.ƪۻm $L5ܝ_ + %ˌշO椛- %>UHlJKYߵVT|c9<Bd`Mt [I!o/ !Խ~~>-j7JW(~[2-8xDe׈Vi@p rױo%?p/g.DqtGk2$•%F/M䢮ۖ,v"ima DPU"6gj(NO0 )!>QKYߌ5aOH2d Լd_<|G)ssԊ:z)0kBZX9}mҺk(e^"Sij4^Q9+5CIaѿ.I Qp$P<懊ʸ8-@xI37x+AٜvE`X{øN/C8GeAy҂Be#nR HJ!idS}Cs~ cp-pdC'|\y>rON]n+|kX%o.b` @]Hs)s'9(֢X{{ ;ҭG~JRn[Ꮈ{?i8]6櫆jk\<ʛV̓+Q=_q6g]&MIwU5e7tF>^DyVnFMqBsЭNakmp -A$` 6CFx.GgYZ7893bee89c02f5e888628cf2ef9b30ac71dc7e05d40ca4cdb5a529824fb7d177aa42025673a71052c0fea821b791fecf068315420c995bf574f64850