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 ||\!dD ]]]HOL-Proofs:threads=6elapsed=550.913cpu=1231.568gc=173.116factor=2.247zXZִF! j]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbZU" לRFRSo e *)_NxQ. 7erW^x#"M)Y4mme!7%uh/hO#E MCkA$VS1A˫z`u(|6M>$?]aKl\xp1)3&2B펽{BQF0"ng8'-(r<,(ui1;Uuaq?82C*6Gb Qi;cj62S`80X(rD[ثl4-in.,~ùyX&YyrfG:UC,!%$ّ!CURH|-#^(b]qmI‰iدnZ_["U5,TG+!擜S=Bc<k&]QFM$J4% ^/GE": =b}܆blK7*80~bU+'3+;'WB#ITжoʕLTkq΢x,&zrbRl$wi{ʐPNP@Y+*PL5ۈr*_ [QFւ/7mϰf븽~t'qDBgf^8ĩܾU/z@x:C†K- As*8uW.<4Ԩ&'}m85,L(-4Pm7K6>@fR0ߴ3B!E# Ӽ[cvcbh>nJ0v7iz(cQb"TJFݍD" %.߸H˾*;Β[hXP;dŠ#ҩo4z 9JvZ+lz )Q+y&|LH` -t0J)NcW6O "k o.Oj+e뻪[H _bP)u)6M\: B ZoH+d,v!{ uljDkVteWiDhVC ktn]R>F$@8x*q &L1Տk_*{ъ=!Ob<w_DLo1-_ U|G>D>Թ4QOM\򡇿=K68ۊj)LCsdjHEFg( m&ETS&_OG ڔ&v2aCQt`{˦^D ߏ._:>]C y [C&dc}(>:;%beFڰ}ۼ}jG7$#sUS(O6Jg;naK+.s]aExhLR3w)*gLfbǁwɓ7_XsJ׆& Ih|!ez=BpVS0ӒT{f>ҷG 3J!﫱MUpw{_ w7:6S O%l  ! HOL-Proofs-Z!A P%X JR\Ig _>0J/1[ޟШBo2{l^xgy;eT!+~99AUć08ۈ3*+~; _̮Ϛ>ۗBp@cTXCW?\R/\VSˆbec r*MPi͔!z#kt̩]^2jwrpkBH2ͤ;{e~[a-yw[gآӕ7"b|,P|T;6L_'QqUz o9:[H+( qdbL CJéaOUBV{EUs[j%o_)w|z!K"Eŷan|ꔵ T QR#wI>j# Mrj+}Rdp\o+Tf|b|C(0#mr$|nԴ{cƦCh.n5 AT=ojג%S6Zg;|ё@oo\߁LK06.mkrnF5JtrZέzu$3)#G2uarK:`?Hi$UݴM <5,^ꗊjہ!G~;s%TokOFOl Ϡ;d J縚fA#SyIH>U ~;oyN(SֻNj(AbwSq5#*FwoPnO\]($ a1u!8́<ޤ=\+/HsbJ61SpFż@5&I ( lF˴XЀ瘋-5eu#08:JF}KܧusMh+ "ܦ{h9zWS !It{|Q+}\b I;o#6JaXx%Vlae+]I)4|6njL(clӘ2cVH۴ș =|3*C#Yu02.`t}qɛIU~38]FMgQ@?SƢٛT{? ߵcvf]Y 8>MC9I4 mdl5wf_CϾJf} [8E f' "k](z5veFLFF?oWՀߣH-tNti񣩘0SjNQ:] eqQuj%;d߈Qɽ-Zrn"'-%S8* ,-r݌bR]뀗1S!DI0͛h/$&r,m@Urwfc̔a vn4$Qʢ75o2-T]NbE.yD 儎,Wae5-MAMm-?M6G+'\ꘜukS[!\O"@*G<Nlu)h~t+#?{&ݟ%ΤPGURC{Q,i1^Q]lcRdGMwMY÷2p{nO{'^JZp+?9͸IؽN3 qW#ϝ,`8P^Z+\O5e $q\>3XPG~~)@b{H.ANL&ۍ?5.hs1Up]cW8}i~dWƋr %˽6M\Bs5["T;p9 5?MS;5^٦zlئKLCNHkXJø#bIy"u_-+#6_#y~U9ZPPKX*1u[1\hYRy?E, oGp|cJ_|oGp0L6}V]m}.$}c^˫ uJё}(7DP];NM96VR#|SwE9sݥYNLͪfAcWSt$dV DR']jkW/>պGvW/E3[G};iᨏ.`.u(a-ADCDL#NLI;nVi04*!Үw , V2"B{ X؍dMefE"p0] nW[f:EV$3^_7T}6s6c-_b?~̫/MyOUQ T!!^nwӤ:mmJu`\{E[ ?ڨ6VY#iM(¥KqQ/(ڇn|)n>X]/Wq 0g{@ N^K{.Zf\bAkK ,6l^.Xt8-vh[x|ݨI Hb7J- gYZ7zXZִF! _]ŗXiɟ29aoʼz[%U>EM!!B/ж̨tފhuoH^ ubČ4d@FCZLc V,С0L8I-!OŬDOxԻІsC`EgR^ׄ9u̳ͣ9g4ԍ&3*sL%"X../`jq/(>a 77 Q7~ ,"[tVYgY\M̷A󪅿 E-v+W)M1b&#ðJcȄd*>K.$N7쵧N ;B.5dpӯalp2$(8~u.ҚMnIW`m$ԥ )hE2+8S 9<+MRP*jgy{bP9?LӒX^U sQOf5u!<YRfN_R o^@`4]D}~i{jC &Y#1 I,y4pj꒠CI1賊j=I[/8 T[o%=|@*^s!I޺ [͈Y27+zЁl ͖ww.hx%n !$&{|KE) ,mLFtˎ-ּJX%P I ^$u!.6v[R'mPH?Px%ܕWC5"zf»z zb!Ztv>3QM vx ؋IRr3$,k#8綬.>z~DiQ3;8`Ts }hzJ$^o7oन+Wp~+ن.bɳ1?MB7~uLͤGV7;~!ZcE+oBX %c'9}AY")c:+/ڝoدJ|`:Y?fcxP}܋ k8̶)ޛZ;+58~4^.gnqνR"pj6,CuF( 9GЌOEʳ/x Ru ){nD1G3)aqJ>~R؍:mgGhc1bYQ!M<Ѡ\t\T"4GE'xXu[YgY;Z`7N#7B! ; |+zƙWL~q4IDy$gCs&]KTewd7sߥZz1|$ $ȳg il x<=dG,beTi 9RAq`Inrd84~u \^l)ikLWQ'rntM/lbXH1ڵ  $Gf L _+ ]R`Ms_irVc B*Y(鹞NyxbfjBp?ofIhME 2 I±gYZ7zXZִF! ]iy]ŗXi%:Sin  Ÿ#tڶ_.8^F1dqE\ Rz2[0גxEa_,ivrPuMbdUZk0L)̹q'v$I;@J|ѝzxܤ\Uڽ)PB' ǛzHHPIZ?5v/r6Gk@7c#Ag jlLʩs%<9XA`5 >WAJMyhڠ18hy9_+cdsAo_k:vnŲgm))Rh!ͩW"axeR  ͊)%R>myWt'-I{-:lI4`!,\Eq$}/E) ɓL vҶ:"OB^eEFO["Ѿ S-3М;ѹQ6h@ wtV9}^8/q9aF`>[A6?RX)(%e@y w߀E\,|矄ZQK,EJIYӴϬSNbl0[6Y ܩHh@Hw\Pky lcPSd|'ȍٞMc 0q )vif9tLV"=<;SHO7=nT*oI0$_=F۬{ ˌ2TY gr+eH̴Lۄ]¨*W=??Y6){sV58-@H!QMeHlt bʧxSڳ2TqJEػp?ݲ˲P:h EZvtvUrdW2azn۠ ˶b9o};<<:Gy?eZM^E|EUWffe.ZG*2j-ɰ<Ӫ|烿!6nh^tRSnyCk|̯[`qXn3Oį'ػyM.=R晚C'_쟭BJiP=>}&H0gٕPB2Q::8 .Ly[8{ ^-w߮jL@O꒱b0P6O찟R{@h'e]ptB[,׸R >.{~yȉ1`55aICDŒ@[K Dh(Ȇksu.**E4)2Ѷٶ,_ C cߊb,T,n.2n{!nM?\H _p-zf}ۼ@\!1d r3HNo Ʉ$TMMv!c]føbe4AqM 58!$ZuM/&%2:uscX<&!,JMIK@C 6 lpU`+~``ǜb*9oKI(cfg{\ _5fja58Jϔ~RM\ m3m%/>zwUFnQ|X1yCuh8BbȖc41ٿۮExDŖFFmlr4$oMA [Cp c+}׼f)x~8bIi,hfb;Ijfi>qf"A@GrzndMnhz65E [勔}B]n\c9ւ5[ ;MղGSfP)0ǧgg.9<9u'/N?MrL.CL,ݬ%~O7YCn8ֽUq5b[bflN"%gM4 0q8Hgއ;V.<^2w,ɾfp2~;V84J7 b xO MuUy{] EU=A) Do?5>!rBO%î6C oòUw(G.MS.WL 5gv6[qxb>4yln}Yb :cO\Eĩl {mG΄eƬS)Ϋ8[8vP0[L7|9z8}/evwURYҴOf$F}Ul?09Q5qiCzHkiֽ.f݋AV(Nbef0|&>ַ,7>6wR 3MţlWq^Jel"4WEC! ȹ@2&:˔%'-Ŭ6aȽPoE4eqY0W "BaUJ%nk<0駱0+ JٸleYtZd%91jp %ͼС 5C#АԶngGRc+dq#tݿWR5Q$Ӛd!1r+ug(hr3z#h,'ubBfdZRi]M9ѽtܧBnزvBz\Z8BZ䭒G&j?+yپ{lLvKem+q-) rAZ"{ןM>rSȁ'É cxTÏQܹgO]D=iF?z&<蒐/XuJe?Xb!m*x?|v"ǀER58;#߰#:Iڠpw,n ߠkuC_pړAGC 图1UW h2J mJGE RD \dlyco !ѩϣp2'or6|K M*E'L3F F&[h)Z"( f;Ox]77ךs( Jէ8xF> K% RJ^*^E~3--A%x`L N-f4gFBOK)e#R3+ǭ̙h*ĉU`3ْ|y%1dۚ0v7Qh:)H%·;x]rb *q`uIpނ;ctz?CkV&b얛F4ss~I27(YPwh mԍvys*?;~zɦz'6{QRrUta?˚Z5y/mWhx H{Mo? &*bW'B0r]&.!Q/ErL{VZK&?D*^4 N'Zs JvK-J;0k\Br*MP\AgG Y2p./Bo j9~(&C-_K_=m{qoT7~Q lMiGJ6+LU'u1YS#eJ[Q<i *]2mAfIS[ꚉ/9a>RVSNpzF3Ag3Ї9-2d|D}6DR!6r~ "r `ŧyw<_3RU2A;sΜ1hމⵔ16D7I;o)62\CqV\:lF'Vf7΃Vpȇf1['6.^ t1lC沈0/RryXVaGw@zKj\|_rh>d=^_1'.Ab)LCpu0Gcx4:YT b 9Fp+ƽXT=XfFcɮ &Xx`e7<žU#οͽW|e/ +U9G޸opMGJ/b;AwpN_v"O9޳=NZ݁ skڣ(<;q_ s׸m I+хL Ԛ1fsvB ླྀT qڞ|TdLM2)xV4HhO,{䔖S$DV~;9` X) i;ZW\(K2>a|D &q 󈾿j[YJGSko']l€Kh19f?pr=BJw01n /SY,r<(ƐV!' -޶3k!vJpNIH| dW-[({*"ZF{r?|f[J:1X9:HN E[ ~SBٗɀm,k!th{ N ϤipL>}Q^f,xktÿ Snz &~dѠLoj]q4 }$8_%O~8?;.7='87>< "FJ.P+mLu8i= gtK]\֚~tǷMܐ4)?KaNv{Qw/WW" jfu>/2#bK@79c~s129~@%c2QΚ.IFj67|͋(]FP..m'+'t1G`);: r -cvu-}aeaŬZwX/lsYAKyy?/^})){N5g(wA$?,@^$gԦkF7՚{L+#uFfDQ9:2z ,t ,A߽9Le]:^šլƱD;:jmjNJ"GNAE8G;mdNř4hՠ€&瀸ĉ'O|O_E,?B~*'7T|yKg't8%}_GZ V_+;L:Ys)YSKn{dHlG҃&\r`4 M:^2:B2]}6JN.xL!V}ѵ~Z6?n`R}O3e]5`ۄ"ʐN ?U/}4&WX7HI($L̸z6[ed=AlP̸B5} ڋ\B0>8 YyhfZ#Sԟ~*Y$(D ώLU.34\Et. Z~ pr:}):a _'cIs-we{= @:+5=1s!WSDNyr`iĜOqp%a6/2'Ikb=y|`pGDF,ޢcXbT`52(ˉ!eɀ##X?|9ͅ^К.[iʧsw>:`{8{< 4W? 3~N.7%Ba{=1 5H=* Nbɪ&ω%KފWnkgso\WЖfȎ\4ڒtqcy>njF緰<@bQņT6MƴWq#J%bYFZoP^o«}Fjx'mv[w#2bNUd#.KC(gu-] 1O9q },He@Y,jU4ܻMU#l|(8F)'NTo|>@@%.1Sómto,'xÃ1 g6+׼rq丠Tk$finԄIb,bPa>cHn6fkg$&iWf J rMڂ*VxAMmH?z&d?WXPqJhݲ (v}@mlDKI}`gIb_u&F1.@U<OZ1BEC5-dxw9? AZJ2.2Ȱyϗ䱧,{ 3!SЕUT's 4y Y|qO}/"˸Rg΂?д^/4V6%}ǐt ,blqW N.ceDLGrO.Xߡ@}_}Дz`$q!#5/I$+dyZ,"<+–M W[2J&Hъg~O l5[2.dq=k*%]c̞xuȱxkဣXr--սYݝ]<&1ӉI MJWxz{ۯmHjiǍ #SA )46~Qa|$'u6ۂCKg]@k(̔5ȫ)ޜy"Ԛ0*6'nGhB/ ,W:qƛ@>LXG&+lu^l>r._ꉊq3M"Ύs0G<"eyXKieǝ`Qw\1GP,ܯbwqxK@{qwګ}@|j{觚sɻ<v 1[:qW%_,Q%z4-rmm־zX{DهfX! 3PN%y'G/= sWGv㹇s!cչTp@mQ _uكqc+8&ƿڂx&"?0wĄ9#@9SrNV |lLZ[ե5 Qh }܂OZo%(y= }zX_\ }1&^!L1Y<D5io 4e4/ &QQa90zDw䘃TR%;iPLz=jz?:@m?M¶/翽 OmaK  eIP/y cqf Lccˆi/d;q;D_YVY? 6!m7+/ Ӝ#0g7um2>=hj.MTcB'Jc ,ȜKe3!^p.̌S:-0i(ŻZIP`W\9!hQ\ Һ|~Z:Kż?Qq<7Fف۟V[g;nP[O8j ҂ЕgZ ?6#n×LtI%u2Lg5i:\ftM)aXɿp{zL<*ט|ޥ[儆;go|f0 ~pNBb٥!E8a4ףO Q&*_:J1i|E];wRkԎX(j7ڷy,bfX 8"=?L7fN (G eVBN>gQp*VWupE*, b#sjЙ49-[?yCQ7g+#=L°=!s; TqYraSՙp 3{8nLDs\Fhl^-q;ug {uDe#ϙ#ꃚP{E0Z>i:L&?kҏp?OpX/l9ԍwig7=rSUPF3 E#_e+E2yD1'H1[=3aJ [sz=DsyGY`5qغkD\Dt%%T;$ɏ:t 916Baظ6:Y*v{iY3tn {WE"5Y C%lh/'. jpSB!noL40܌ (љ L _CEB(MC8>M0KiH]:nR,/#QU?Žy7 c 4(Cu-bg*oEZn`  !Tgw$ iAq:~$-1[7lޓFʂ NX%(V^unQd# ܦD#?x Y5`ۥz oٙIk:yT4jCxLɧyb 6C8v'Ikl tDC  hO\I-.y .#&i -gV%"w+ s69du*P qD-^:D6e+Z r-:X#1.LyfǚɉJI7"~Lj;ϟbmk[%Sʞb^ywWŔ0RG7'b/!6npUУ_4iA=rJym]Xi$ɼvD7gLGZl.e ڋŬcWS!RS"|u'sS`ϒр"4紻](U8. LHq]8O'0BF Ǥzfv?VsQz\u ly{no,UTTmLѨ~rjy*`fkUZ.zvz6%#8*]+ ԍȽܹN Zm`vzPFl! 4u΀U-jf{nӚ׵FbO svE9e䚂C!WXC{R$AiCPd΀D@Z5o:=o=ëPk)DSyCӾCщߨa.>giDo [}HhvЮ 蛺% d Tөw1:6T0 ޖ[ QRL*3 DNd>SsMׁ *k$[| 7ϴ_9b-_]Q>Ahv7edtkvLiB\kD(q*D k=6+d``C90Ţ L5f' AH.ń%*]gqjE B|IAEOE9P{ľJ̓4\帖Ph('DpFuUm q$4u`U}FhpJ>%Z% ~D> >Dߙ/]NJ+ ߽+jf/>%Xp'1O@<,2X$:Eu܁ q2By鿉MNP_CW%%=J&;1 Ȯ!#QtDKQ R;}AHKV k;-GI͞@<')3Rp;цgB:<#ƶG0yBp EgN& a6ҽwB0qUR[IGfVuZX%w;^Y2,-& Qwk5aT-;ދ:vS,=ze{ZRdޓKff e*&ߘPi}(o3Պ]ngx`u=5&@A>i6HpɅQjqX84)VeupU eWkp\itig /uzO h1wPSUWgh`.@qX#['u>RÞ$oYyx %G'RcF7n1K1pBqhkA2%1"A>ϺGy%#ɀ#KJ2aLj#$=h'-1kYbIkW@l˥ WToJ5A" zʿMdChQ”Vڢ:jZmM4-**2L]Id5)/gC8( f@.s$[ c 8 gRgcM'I!ِ>6"m/̚AWy3gF%rf|J(aLbnBҵ _lZXewӥ\. ˏ\MM%BFtJtoѥWn9WK40pXITI81sHlIڨBuWTlJ՘1pQɓ Oq&ek6Hp9Y- y4[ Urq(E|^.mv6gfԆM0yj U!+!l$SR@ֹe0C($tqG7_bop|wVEFΘ#?AbvHn'©Na dCyK5|m;gg opU,Ġ°TG @S Z0wtOH"ZKuIǽi +`RT RA EJ R Sd] e<>K#_n:;7aP%ϩ}1ׁ%J wJϭnKb_]/P{ wO59VA&kH{7ٜS`\K-6X5Vy.HQm&uL bTh; ,)qӟ.g"ڹs ~4m`:Wruhsk 5[L_^ N}r:3] W< ~ջ輅P̸~ɳk(30Amz1u~4˧ n302wʾ t ?6.%S5Jj!|*f>>8x pt, Ja^r3M3/KΎ&" JXpBLU=kV6It{2dGѪ"yݬE ]5_c5$F*L:FhUmO姕g}41?j  FakMlӹ&gd1= sX^xy6lQBije}GvQFFH8y67D:siZOM^/JJ9eH. DJ 2 *z͓ bkMn}Д0-x"!Qnd[\fċ aH3 gz0ٌl?3KCjTbSuҾB}#bʀ܈*ǰI$pIXq*/LSYV?7 ŪFuZccЬ.tg&P'S) D'2eByPyOT[5$;golKݎ0Uv_W[ (ҲT~g3ׅ]KRLk|Ǒ0$Hzi8өO{QCڣ?aS=6#qKgC]CV.MueZgd!T5<@6V-%8eA( ̻x &WʍJœ IC%u3އѨ+ 2R#mxbkg, y*? 3dymE-~ 6]Ow?G:>L6Gڟ 8ͧzDChVx ĵϭ^RY<;NnhGu<;6p}#Xֆftk#YDg@ףf$]P3][G1a+Uz)GQ{ +rRʅoTǑxsy(\h~݆!82 3nڈ]NΎDt$BsJj˹kP1SRn@\Fw}Q$c ۡ'.=F7ACA s@%푣/;6Wo!ᝋּmpE\뵲'+n(4f&YHX؜Td-#SʧU<;94Y>pe4bF+La?)'dYZh& σPm#q&F8^nzyy4YMKLؘpXŠFo9Erd_܋8xEMjd3=1wX|v W5q)' t$/lsbU6D;L]Y|wdGpM)N Uf7+搅XOq&vQmGZla ׃VFvCODr8{Y!/MfRI}z=:%cb,Jp$0GgX{'QE>ql2OytYW|ݛ\ g3 J1ɰ 1T4*;] - F jG49-ж%H8 m}z:X>QnunGJwkHx^ 4O I; yc2>xzlOj F5n-,JZMĈ& U Mׁd.12q?GOHXʇX|tc$NQ<}<])2bY)|4!dH̓UBKvIu]VOd<55 ml+["TdTR+ݽPj "ͮdYag_Gep/\'EG_Dy !&FJD=B6Y˄)k%6)ywt?tE$~l7N7-X``)fS=oФ,miqe0ic1r%gMlBS Pځp>;g {}4"0(fyj^"GIVwj\mnD'fgwti!G|2W53a6& H0)붠нB6!JӅ~`ZD5@)׶S,` 䤝"^TdSˑ[ƃQA0ȉ+?'? A,!m갯&x%,ɭ la[lU8LRy>E N֓))3pڳv'bHS¸1j Ta[9h`#ߴn1Q1+*/P^ u!oY:mj?k`PW%H[gp~Wܺ֔vFck 扺72֍+7Kzp-QHxkD)Kz(D%@UkU}{Fr !Ύ RJ_Zssԍh5ܓVb`Oͦ5;*WtSNKVpAӭ"DaMAMdOe<]˂|TF_꭫MK!5) PHqU)Zy/{Ѷ7+*r_>)~JopYGp0 a=_Њ6KzQNXx_Zkfq3#Um urn@+lkjI^-_B8L^3&Y\,2F,[)=;O>QyGr}utrXO4\D^} $Ȍ lfaZF+ l&m6pBsK6dh_s=8*`ӯΡ/\$ 3QaGלpP27V%h M.MTVA3ƬחJPO~8MYmQ`'2Hp[#.K.')9 tO'ꘇlk2os{xux'`%+jÈ{B%m]STU~p7}Zc*z+P;>AM߆헋tHHxP1 Dp1>"dekp|y>+(@"US;'``f1}хTؗ":Sjc$$ ox27k)H:5@6BYT-9x@PWA 'S*L=\p& Ŗi4*9mb4c% /W+L9ӧۮp 9jxmgɣ72f&;/ysfI_Iͣ sH>O>xPPG5һ K[_Í--}et-_XDq/kcf5|BCaU$2{_ ,bFv消 2l^G*.Q/L qq};eWr7FUAF.hBNz0>#`e9U)Z 23ʮ_վfy^C0_$ o%R}דYeBf9?w1{Ud1=$8R{r _Bu]5vSڂ@?Ph#6I̐ %LaX~r"@n+ՊDiF iodu >0+ȻSUֲ]ȳ85s5r"_R-[.т_u-OeB! *9KgC*%x@ D &̆CY#wXBEUڕ2ɘ  +;>8la֓D?`l$5J~K5QgHVM#=Up"bRtݹ geM{h1i#RN3<, S8 X U<_hZ/hSvsB҂Je'XM,$.Zs:-v]+Cx4vV2_CpU,; ͊p j*ԫT Ji1fUp_tvZk>=ˋDGH O3KVQmU[}X8*J4d$RWo غZP&([huJ}EmKRxè ; )X*`ߖ7;'C&QU2k3us]d4'im_XaڲOZ?F]dGqږ[Ȳ5Db5F@]s^EL4`ä=e eI4'@+Od*0bnqS_%總4WPd$Nrwv.N<BIT!&"PRJM-Ng2sɋ13~uMygTn25ML.ĀgJ.ey ism ffF7vݗ$C"zOwJ6ANQ%e ٽ/; [>T_J8q4?X]cOt[x(gxiC1?+{ߎE| ec ~I^J\E6\IBxKk+aIM V.kSNy|4+XlQN݃y؏T.WanH h8ua6KO:dуj/TNHejp59O# -&vhgUZ0k7· dUjb X M7hdGvt6OSB%N(B ɉCUĒl~2Tp##;wBK`ïu25nsHk+Lp+%2,2ZrS\ NfYx00jpJ=C"H 3yԘ jn>JBlIiUFg c焟^ArN't&2}s闃<"hk>Fh>DFV?Zz.y w+0GLcy \ȵfeln&]|СTꨍ78FEbt\!D9j2hBm,ѨQX׽\D9Jٚ0,'RU'IhK|S,V3`u0턗pJq-Jg+{cB^[`Ep/P̋XzgM 9N@~Ε4d 6bƔϒ5o<{bLʠPܖ/KM5` m)M^{A 8HJ{ N Tv$Eg G#@ Oؠ!ΥԳ;2ZezȻ[Nn|P'z}`dViB %::Ӭ|xdAL* ogAc=UXb*a.(*YYat_6/nP+Y1Gc0F"<[t)qzC ɘ3Z-S!#y/,|k>P"ŋ*J|W)M)#Sk3 Vͦ9p@M@)rIVL2魹0fI&QuD[OU>3{՚+\y'IwR`ݘ{v^Wαb,guyu=s֩Nw)ngr0&__y1vDzbPO5"NyHNAS-{mD\iTd7rB r2&uoK\rOF嗮G d,$ǣm>̻hƭs[PPNF+>՛z }.E Ϩ2 kr"\cs?Q,ϐMIb݈[s$յ\-`1`6rU+#wWB=yڐ^פ c~`֪M7qln hR Cxj>u[tQڈXPj7RMZ9yXbά!1&?[5ɪ&!T OG+3|wT4~+whoB2I?ú}MZy6-٤/[X9鈔ɢMٰ|:cاBnfz4}J[,*JßΊN;!y1LiNdgnװʟZxR yXnRn.0vc,y%k~N.o.ĺVE[B`;c_L>]'PC+"%wґZxyV)# !";q?% TiXdN5dj-`K>铒W%(Pzլ/*ZJN}Cm"N ɢwdv⠂-$yHv\CtR s@ %RbŲW|۵i3*RY&-3^~ʥfQDGrY 1o?,$}n# %km_/P(}q"'iijV''Agt q1Ao}'Jԯz8l21J2>V t`F1l^kbqN,q.ZmQu-5t5 oCZxe#x " ry.-TH3b^-$(9uIWWW8Rbyn-, 25>$B: aXX=c)CLUz}f/O?HґgʡwdPnhB*8B!TbmM-OlCsh) k"V^am=xTH87mVp3Χ|kf~b/x"cxY8J g-xӻ̐Xu1 Ѧ?d&w,zCy-R qЁܧ4Vw¢^ QSWZkhfjzr] ԋÒ7H{ }vތ (L5!DBIL+7=w" j;P*5#.grҵ^Gs];NS8D<>nK؃IRG wמ({.㒀X=gs_9"9Bn·:$>bU%_B7Ze{ ~*1JYOUƀgաAdJpSU^6Շ)7Ճ+ י=i8a?7T$x G٬FuɛJ&T6Ab .W1[̌i$ @S!dr!=?nMi;[y|RI:ќgH*L燷QLX#w@.@\o gr6dZlB4^j?6ro0\T~?{4;ao[x9N! mJyxln`Y> }\%/ssaO$V`Yq-:76N%bƻY{,/r_̳?‚'lp[nB?%Wb,>Ԥc&͎^ òvhl־*%1l(ʸyt\ez;?5bK0d0kX>)F4/ziqW[c?6-2b@#fs' ?͍vyN"ēhu쬲\V-v'B#\˺?%E})oR߆7,{fӵ1l/ApXP^# ֮dusd-y8PT;䛯V@n~e3lFj dIA5S ~a,Xz21Mtx.9];5MNb4[6/b IXc6V4r8 A(rI_}i1)eq!y+[-cK8 azWn^c*p3s[ցyjȚ/ @Y3)I(]?8ivl$&.?Iƍ1)â_>++If93L&ӊ C@|'<{n&|츧?3,& 5g+9S҂&`kUy̛wYt: v/rʅppu{2yBDG>IΜ]~e=7{)%$P>--/zyeON]v:=,>n&| F'@&T!pOT\!?3'{x|P@s[m bVaJB_b %7t=OO/?xEoʿa I4P@|FW*}z_-O B?ZT睟giRnZIJ?Ơ׼~MMX-6 ~Lz+۞Fhz_g .|+acl¬i6I]kiP cBMv@]&!lhcB|^K)u2F#Q8:}YD9M ACrV ֒)D@sW-gPa ZO+icB)˷Ǜ1KXL@Χͣމs)(O>/yX*%W2Ylug--"-*D3Qj+=6Ȓ'q4`@20uF/beƩ}V#=:2xuNKCRҁ[3.2z$"q1:GHxyH'%bm&]|j6k_E )Ip(!D<:6[ @&d`-bMPC~$tu=ڃfUʹɣaF`E&6_BΚ17)S@m<{\:u܍kfѶ$95IJ@mubO<6sߟ؛Un8k1Q|G|ZxX5YSuj"2ߑJΨzVNn,RƇɨ'5_8yn88~/i"F<6;Fk`"I55evUErVGݏ}}g?УGNnPH{B򠚯[;1}$uULCi~dѕ ߟStb82ci;'=GDÈ{?k?X_Օ3nVp=rśg3;+g?̪5='+Ӓ(~2}V2Ć?T{jQ U#uV 46*(,?\"V T0Ĺ? <.;|.lq՚;/ؿSmm ǍiV yS.4+m{;[6=À"ykv)*g6"?d~eI ÆX$^\4?sv|C)*ˆXyuu=LэG,@:^h/oͬJ [Y`0\g&.d~·!CazqdRqCBPhAC 04 ϾĂ~"g.2_=1vα+> _L7>Uʝ%JL:I'6Tdp(&1ǓaCwpgpE.])ra3O@yq3Ae'%f~K7?դ<&å~'@lp~!`R'"c&y?h0ۦV 3?iT-Bc3=VΊfuiK$0^/y W;C$J${z[Msщ[kT>z O!M:K'`noZg!OĕdrjMU3d~5^bҷFcعm^ON[r24b '$]ntc>Bꄦ6-o !=7ەH]ljŷIQ'< K90d+Pڂ5 F)*᪔ y%Zz) 6򅶉t$W݉c^&Bcsʺ9a^UήW'*7UGuE0/U9jo.PإS۽60pZ͕܈nHh鮔MdJfel#]‘n RLiiI/&G9@l<':Aq Aof%Os/\VKM@yo ~[3Cf YN5/qHW1=)uZ (N篜,0$7+ WD[P6,*x>pKN'Uϔrb;~]M߇u)0Z/GHW'6RFp??V$v.ko 7WpOe>ֺu LT+q40RQd<Ј[ Y\rIBZJd5xKt 4f2u=B&3ތ&A{;:gYZ58f9d6abf71fe3dca775d70a94e6789f5d84f414dd6687a512096fbd242a18d446c4b55d3f2372f6721db95e8ba5a64ac7c6235c8a83339afbd5e656