SQLite format 3@  .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  }1|l| ]% HOL-Decision_Procs:threads=6elapsed=222.997cpu=1060.788gc=111.480factor=4.767zXZִF! ]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓XFSo }1R  {{?.x?6Z 8B@k*YAz=Pd.$C()IoJ 8z&q8) DLLEHN2TH&ޥaOi9wZhs*4Bsh-N0qZ8DH /_=9wT8:ezԐ(bԻ 1 HOL-Decision_Procs l 1?= LHOL-Decision_ProcsHOL-Decision_Procs.Coopercode/cooper_procedure.ML7zXZִF! Ti)]9 ! kG GŤ٭$`_Ol5cD̳Ȧn (w1s%¶^GWQ1Z}B.Ev uW|y0l<`SuSJK~Nxǧ(4j (cr-۫ly򌙑euM UsE6.&yg@rMWXȜk2P`ey|(P.#Fᨏ T~nҖάbu^~5K틭3R ̝e2&$B@IqapF~O?(_GKlU!G-CG.*_S'5<ZH/מmp_0|Y {XZۥR>0mibN&OS>'}\% 8#+|lqo wxprg S31FrAը64wffAj.ZD$O $OXYjGHrۢbs ?DΠSvA 4D>` jtb?W$mw:kz0L] ~ Dp9Z>KF%MF`g*7hX%,99UjIWeI'l@}dQrUCϨ`_ڏ^A;ф>wW:׀Ȫ#A 0K|!zwk. $>@bBxaozDŽFb>Xogl$AoMx|'3UXVAt)>խ/&pe` Pm}DR(q޴#ԁXgqK# GWjA ?iw=YYa?o爲2j=ߍ %3D{% op!kaR@7Z;:Ӫ9LKt)'#z,Ie?<ݘ7(ģF)Ln95 i/BYüS R<]Inaڿrz qNft=9s[*d{H;tG!o)w/_K;S!B ;?^]U`Y4{n;-Ѕ۶:Y5n}cUj!L"??}#k;aGS=/V⪊NAڰބ%|eؕl+e]MYdkWڐSbjՉ-{Kmil(azs 3{v?Đ71pdƁ[phR"=皉rĘE::Q]am7%o,>1ʟ? 3*'~[zl9;E,&?Gc\X-+Wy|%.ޓni ʎLKb5Z$ SQBTUjq0ot2C*ʓ_w@Ont:YRzl'd\fL{`Cir5"q?|m (rџYP~{M7.8G2HǦtfF‘GbQUhK!T>6mX2$5i3ffK~Nj%ɧ'bBQSЄn-?d@0K@pXy Y3U9*1YF~uDV=Ny:qt:{k]+Jt;3sy; f`l@!»HYRچdfjBÍJj۶x-x;''߄;9KkJCs{<,ʀlw=ZY$ܳ%VtTkrW A[RdwRC }`F n1zb/x#͘YU.!lBoۅ6 Oḥ~o & g5?Exͻ`$`i 'ZDradL*H?@={u`/! ԬQIޟn G؆;҃}ap8ՀnP/$'ݣS)nBiJи!wQ,ailƲPVGSKrX}6#o0]JU|#՗;BkM&^Rq'+v?,BU s8[C_D 溔0li:F..&uPza+ [C0@޿NoCUr:[ xN' SDw#3a+.Kv"ܔokR|;iZVۻW)BI㚄Xʱ~8 yJrC]YOQYGϸQVԎe(\E}ԀiFk-LgJ+\@XYD^B.f IqXz{CEh|`Logisdl赮`E\!|Ĵ!oJ֝;> y=L8%TM@B7Zv+N0Yye= m=u|xRJx]ͱӏt˸iJ؈x|+LNj8gdoRE0u@7S/֟6OŁ^B]8_tup3~Գ䠇"B=Ţs.(T&#i#DJ){ŲsL(0F=J8h6(L#d&'gJ\+ŏ6_+!5@&gYQ7k~:M,1E!@g*JEkƲ=GO+&_ꬬ\ E", ]7F./Iv52@9AXl~32*UyEAuϥp\:ڷ7'Pf7פs כRe fjb%VBQjB9 8Y`6ѺG3!{m: *>RrF;Ѽ; m&of Y e'8\qWXb 5{GN㱂в, L#.b{PZy*.Ȕ,vx =%{=n^[rݖ*TjVq} NsτxSw&y5 `-^o[o`9 +m:KWC%B$ ;QlL+%s{uy$r0؉Z5ˠӭ $1Vm ܫ#WVA=[F{K=]U7wRphAn=l%T ?W*_h1JZޟ.pջQyl+p K,> |b\g #v 9ƪ,!y$f_=aNhRѰsN=ߞ21i5BaW^>JFӤcd l[ =h@D*̔>|NxNΣYlgb j"a,^eqvpPgz )ZZl5_Fq{P~)PKH]Ӑ̍So}ĪOy#f)k#[6jZ1QSC-<){Yނ!cb{ J2uՠ7rd& HQiw\`>HOXTohچ~*jRVt۞@\dzrpW뽧cm\AeDJ OV"+pqps̓~ XY@9PEFZoBLj$Z0ljvP!u4@R"ϳ.wS6OO4"!ۚaPdmcNWz{+Vl6"Z>7M E<1^AW.LDDUj(18 B R?0!I ,/Ehjj9]Tڂ$3W =R8?Y>h+ꂨ$*t|v;b C7U@ g̫*qO}P}> Ban$v^d.^{GJk@.P[:Ӱ35K8÷"69 ֋yЉ,Cx0ţ H){3䶄-rE"; GpYib6+d6߿c6ِHKgHWVIWlv"4$] Ξ5/LoB!`#qFw|9l'M]ӥ7g0`KnX"6|W({8LE92A;|xGE99L bNDAm gMl) ßi|KGQeGP>xe lNkg|?w1k ?Gϳh+]08K+sO7*E)ؠ:$Rq:%M㗰{~󞜨>BI`'Jf~Uzz&V\ty3XTt[0x]r-o({?"z̥+v,KwJou@֧n "m{[`z݆K#U7a=$xQIJęWeh}b)ouZm*g+(ퟌDl\xֻ6ǤB́ldKSqWXQܒ,I`c~1-Sj݇IB"0];8Br:w9V!g3JTre!=k &>$v' A|Xf^ Y%\Ll0(L;]^/a]h*`I@DKDKT/Ԃ$DBQMʯ z_/`[ \`,SIH^Ju-k]&芨0XhBzᬸ{o=@@C 3͢_vw "WŸkgb`gK'-vB5yB)_k >qkKJW %'$m/n>jl+uYi=!=7vm |!qM ^*'@o4qAåTR=5/zgsyb8{rf&Bj]Xdvo$()*$@=I !nql`4(mvοqy/.p@ bjU,t,UBE)כU:޹Q?@o٪B$(6zPo0r>,( BʜK ?knEK:b(qX{/3X.Turˆ6Zжvei0r_m+'q})$gt s[ѝ  4\b7>6r#>3M2AXDkˊV.#16"?,r+S9ԠL})^=-u\7O D@<fj}OD:E:O3ixGG~u[)RV%zv*0dֶ]BF 'J }Ɂ4Q0>J)]?|:sKʚ::?r5~agf̬rU)wM8>n:rgHtKҌ!hǨ%zUɝˆ ZV3ZaJ+ztPnP']Bz3oe X4ͤKg_BE!AMgG:v䃯Cl47Ȝ2MJǺ#z$//Lp,ޥ+1R-:?!#x@l(BXSO- į˛:YGK#r\'|Ĉ2)wq]qVsI`>BigmcW!U= uYQQR_:uM|Ѳ_ü5믐yr#~=h#q!]^\AOs6oVk4.ogX :-+sƸVYMkQ;ߋ&\K5!tnHB)oF$;\rdnN<fIe}9?Zc--wqϱ90'TƯ*#a p|doD6wdI῔BDtY:K` U߉iE?hW- })նUa[gxy˓!މNjɺ@ߖHnД< 9jO('^wN]\9+/kߺΓiVʠvۈN'k};˖ci&G~Dkt3C(!h&xXJQl뵋6kVrUT?ܥjIJvx&ЃSb.pl޽b:Y{!m+~L0U3%D8o0LSBVJd%ܻ[򗚤|0kC twܘ28霥q$F)z _F+.m;#"ld2S\9ދ鶺TT_b:M¡Mue"8)%J޻ۈeyŗq2` n!>ݻ9IIb@C&w6eDؿExs'p]5|n[exd҂D?*uQůb3I@wb2('CD3f2 KGwnKfpoCVb~]4iky >+ <ێ5UDtG0 mEgfGiش-thfogmIuۖx[e5nzXRAN4lwJ ;Ŷ#+h&XOt% +qT[ NfH\TU߰0;%H\E˟iSx1gYZ Q2-|[־YE!49(z"/?.Dϻc;<"ozru[SG+!YN=@,'ƭk{˭? JIE9"x\zk F}UUGCv5Ps4v6K*M;FEƩz!18|n3xJ$$F _Q@I`l_jh0aT /^ݾ n(G2̇QgI.iϺLePTf*cZ&I-D;GqXC\xi̓Pabťx3,ҧ7y@ ʛ܅Xn,!:q"V4 oq;ސ SXsg}q#lJI%cf2c=HS0{6z!7\ @hƞ &MZ$w=vn6Ǯb;.mbzѡ&T]^7{^;L h9PF:[fkCT[1u]&m&Ы^@v"/ ўe$ o@U6arbiߛ\I/ElAveJ=^(g!׿QF{T_fQh["WB4;183 ,Yy]2UARYQȅ4)~#D2 :k*^xDܿB"*bsPQoҟg豄"+wWjK2"99])R2P-3?ۋ+Z 4Ai#0lH.$٭90^/44)ZZ":1ŽAghIwj!Юɹ㕒a~[|6өfO$z3pvcT|:\ߎK٩o )DA;(JS 0e6E"_s.ȤM)<ێHH>̺4|Eb5 OfJAX8M_Rh.+a:Q"'-.-R?A| z,/FB hA"tKlz+Phjպa`B6BWoZ6A)M3|4+Fb]-e$2ҲPc+t{!ma3>^!$HX"Bޞ%BuAӨ0ʱqXiH+Աj(-- eTAe۶uʑUY}6EH8{:Y@Y~X*rQ2*`UkJ8xnͱBXGk/<%w &1 :(|v|J9pNivAE<v3zx]rŰ[nsaIg.k.}y Y㎨22Y7FV8B儑MB S ( 3Eps%8?$W)g@4Yejcy2pQ8˘+J!$v42L^f]wDLNb"-9Gչ!5'& 讶8w\hOSAQxt 7ţtŏ.~3Zbu IQpluE[ ԑ^bd),#O򼍲V ̶$NGЧA;#Hڻ Xr=W>Geˀmݪ=`-wƉ cr|ֻRQQmAԳ Ɏ̨GK)t^5E Gہ=_,:x?~Gt`Q>Ze\6cUE<} Mv98Vaz̳7گW=x麗 -<>FFFЎVuTYtxI !qLyMS%YA`5.Fb}cx 6ᜳTN\7c&0(6fAK;!C|Kd*#vaձB?"~*+`Y3څ'UmkQ:r=xyPy#O@FhBMOUvj@fV~H1 p;orV˔<ѡE|$vYgvY㪼&À$|cyvZ{TPxe:WX1wmz3=>8XxKeܲ5;]tE?}Cg2zXM7 dO>zO4o߮$S:9d?t>_{ؕb $]'uQ0Fuzů%e#HVHL$BX>֮tM= TrHtV k|E 6NS~v3b{]y^ ]ќo‚_?YMeՄ:.`I?o5,XFyVẽ^qnIB7X}sj1\;Q.FiZ@LˌDǡL~c0FQnkνͱ UB"G R&30wljy:I7]Z!1b(kﱷvN,ַj@dD<G.\mXlN4"3S'ڎx80y[703(HWѾ^.ih/w3vq{WhŴmIX!3bYm9q̦.e+!)Fyhl>menJ'sŕGUܞcTt)Eu_Z'=5 p+\iX!m[YNlJYdHsuny!ԏܶu\_ +ORY]Oֹ,'*JeԹoNM6:żZɞac%@Hebr}8Y cGVA6ߴ!5Z1ޙonmL/$y VB6]eGN$Ěu kgO6[:ՆS2̡#k{?QL6t$L''Y/sF~UQPOa/GgYZ7zXZִF! \0]ŗXiɟ17L? KxlWP8SաM~>fٺdO^w¬F{ԃ9kGaSOM&oZj |q_ď?hVX$ ,r> \-=W}ÅjyGnyz)=w"kp #f*b)ݍq5&YJ~F`&nUU cⶹI K֯(']*<6Z,:2:X#P6LUNBL`O+hq8Lyjah܏ @ Fa(ʕ>Q/ݶvgj!@̚{`f V&ۊrxwz$T~ɵhU.m&<|2:A9+uh:5^"$LϡYg`'# #H;HyZqg+gA :e-sUJk9"BKJWӊG["[&qlm ~CeB71"/_gYZ7zXZִF! m|F]ŗXi%J(nMBBbop^M_!b24yyl|H% ! رEл0lzh0ΚdZw.1:ޡًO]Q ɉ! ֲ`o_滸SZh"W1H~%ʡ(+{eIo" uQbtt:I;" Jܽrau3Dq~w̨/L!89O&j;[>@q jyJ43 @vd_Ƶy|>B!M3wEK*fY3Ex:Qc6P:a0!O l;P{tF,p{2m%P\`,NI*>SqkGxJ|+𜼾^#PK֖5+e-x_傋1^sAɜq]Ӊ R((d*zA~xZJh?% tMT9f3d[P)^,dDYfp ;QhlLByOlQT)$mqbX$cW9i *~;st,οaOJ5rAn~lV FVLtz[SFܐKZ?Q0ԗ3|30.}orZ?p 6w% J/¬9Xp"$98dr].f~%yVF[ܼyyQhƨߎ` zrQL!̃`^D' qKHmƠq驷7 ,]{3H S΢xF+bnGJ>`mY6:l+_?y'VXܤ(8m3`ؾ`'FRi^f`A-;Z'l^}F>ivIM+ Fh.)Yb0 Z6] XY|*kd[O˵P gZ#eA-+M`N&o)B|1dhX0`oa *FƎ 0YM N-8MZ0ߏpޞwx aǡk"%L{rЁj$m}KdJ[:Ѓȳ y[.rGln rztb <@ChS=:凌0l(K J16`\컩 ֑bj3!ᇰ3LaGڢ Sį5Go7d4Ŷ_j7c3 Jn` '}ž!G}'!-p#eWX(S c=CSKp{n$.ܖוo,IhON]ξӤW[hDq[~U G͟*1V,%3) t) sXSqZe@7G–@ +B[ɑP ekX]INҒo;bLEKC _;;ंJi*fN 2^U}X<:eD/Wym7H@uAU]c BRdsߧK8U{^S^ms etxpRfNhdÕVу Ca E,MB,b~S( ?SxU;ˢV5L7Rs=fZ0YAjn¿j%pE3R*]l9j-ҙf,n]@0S8d|3]`eﮚ Q>Pb8)vsJ[>D`$ƝɩHA)'JHcVZyL>+2Ler^[@ꉂYRkXW]9I)RIv޻[l<ɂRh>v5 7;J^r2|yBm{䗯0H$bGi/n3W~hkΪs.Wn%K.-9>ErD+{*'!Ǣl&_JF▞oXv9)MJ?^àQ6C*:|fj#3KreENu0zO*ja-$}`).HSXjV Wb\c6%m:XS?Ρ5++cGRB3v!aHGf7xQ7 )Xۼ2NOC^ZVua}@qbQysg 3p= [dnJs\ZW QrY2 (SR$;ds;8S&IHAy*+JG#y/xֹ:ʴ/Ͽgn-\=xWRT-YrQ;=Ԅ6thT* ymƎ Drc˫?XXgZP(k Aoģ>PXz9zPZ̙}xB ; ^37gD~HS5keBZuiɛvbjqOLMr_?`GթQu|"UYw(:_èSziݞ2u 0@@&UZ^MTbMΫ& 6Jv'$O;Lĝɒ噇E3c2t4xkˆ~,Wߢi]Fo*XU1 Q (w6vӭJvM x-Wӎs oEҢϳ2ó? S魠:/]>@'2PaTEp `)Te&Y{w2Ƽ2 $ӵrʑw><0;6 Bd$u»Sqr=b~Ԧpu : ^t}w/i$FLm^Sӈ~IXjGun5*VG 0_..+jDE*BEU!l;C34+uLgF=P.@Vop&v;[GWoܕxtTݯ)PM} H5ti#Kt ;2zN&y}OJ& $X) ܂>n6z:(^d(Ӹ{NU<]M͂n[ySt҈]ϙǀ!Kk,߆0{$. ‹Òu}\"[lhYVS\GRQ|5o{bXd{oIokky̑MO`/:440Ӽb-׋Xn F[.x5GMFit"T2(r-!ۆD %9H|z~ T0Ms=XիR㷴4 >Gg-s{}Mťh3 +}3 '9zs`R/88h?_uiC4(YUe(ћ?foMy`%* 42ɦ߉Xק(7+0,׈+cBse20X_QET;iy$٥[V9`оnβRO&B Fw¡3|ۡyӈ$ۓ#ұ^%"|&j]sqWh4C:5&k 9|h1zPh |AyIAJ7&$¢š=?TUj 9iN POGHϛv6Z(=_,@8uL 1㊢K9f7a $!=djwɜ@lN1?q 7H]S$#>UDmfM9آ,95Q2i½-Q !߼V(k˜E .t[̶ހh}ӘIě)>Q]]JPؿ KiZ,n]5DxbLUAf.xBPi*DY;wƉ.-0)Jhd|^7:ci PqZDZXDg'RF %q'٘n*9Y4-/9;ii>6aDEh>vv ZzA?1ʲe043*1_Do{ȑЖ3O=:4B9z?^H ?߽h;Pz|Cd,}*BXz>XyOQ wDm‰x5\a._w1K{k-{"}-C3}2HT2'CPRE y9]+W hv6 q؀U;2cW%v\',u,"iMAj ?} )(>Rf䙌*ͩ6PJPeǰBW7|-yB{G/\x>]mė&K)lMqjn9[32+KOՏi3#bAUma_]|GpZU5;G Fp?Y)N1 M\NĭoT8 4(0oPPt"^ i*aK~PPG GeGO ^b'dn?KVp Pz1oZ3_i5bWf6DHc-8u_ >l@`![f#Kge BXrq:PJFNpcj,*\d v;,X@cdgy!ТjO8my.*"mɆaPu{~~ $8 k <^IF Iw^3ch]x OF]0͉[A$J2K5sϟ+Ta@QǾ]NU| ѯD9,Y0@jG9Q]n ϳŇYM]oX^vďvS3eSl=mm/ ё:)ue2Y67,F"c/.UEi=1Zޘe:{Jy6~ Ok+̆7pk*ӁҞz0Vwfת5?o3>.JQM֩֠i }WEf20u-^~&m)>1Faᣬl ٤كQ vTuRYn1n&MKTh%AY.EASF`:pkt(I^%C\<.D"?Br; hafD;KN XTfU H>{xZ%㡷߰?0~Ym!F sF+wr);EӕkYQJNBDHt֨W~L!Dwif^rr ?os.mt֍uhh j(g'b\7^&d6[l} RDf<-rݶos#1 ~q ksJlJRZFhe 4O[ g,dx%C7!@CIe`Y`-t zʏGI=rfd{^}2{$Ke#:[*B̈X쀡n4ɽe3r諈CIb@A #ӿtO׋ȶ,S#x"Pr&fl`4 A/D{{So{efG^buf.^j3^C~)HavK; ym8ߤ ):@L1d}hԮqs4z7US[==_ qYva{quqx3 Yh عac ˚yZcJ@-r]bk")3@$v${ ?a{<,Zڬ6'uڔowjX; [Cxt1QG s8dCS|}S'h`aКʘy,Is$rky=w]c Kᐼ߯) {ݬlGUf9&ʷ&9Bx^| \wS|a }ޗ49"%ǟXiB@{g{SMe9ҚG[!XY:I͒ZcG㯫>پCp@9U}ZC̢L EX^o\!!zsJC+V5Oq>0ۥIN:g0.Э6R`u!1oKR9>6$Cc{FzMR=!k;^lr BtnFm+0]gH5OT O nAڌEeh1(dRF~8mlYxOڊ'Xd-U8s֤kdwp%N30ŝ'Vi"XoFUXA RmZ4G$:k|6fZ  $gC ..‘̈́nvls'j.hy<#!̤p%@n \9{82^ $41&I(H)3 ̳%Kf8iC2z35ň+o%|Sc2ѩjY2]/P ϣDfohOs`AOdJeyX 8_D#eLjQ4W?/QH<6YK#bQSAD\BC$q$7w@2?%TC`BU{x]SwᴸiO]^r"J$rν~ņ/UBK!UiЈ"54}]՞L :fnd #"SE^lHD$ l'`!?X˩K R^i0 M~ 2tytt_ĤcDbk?1 jOUBDLGܶ@ֻa5a b_Y[hX)~\:ߖK ZK`/reoW^OΝ:nd˦%e:#`}, NTNzP7vǺcץe8<:)+6eBL[xyty-U2 mg#EdF\?1#%eHy(IUKp`̰ME{qzprÅcSU! O-YOCg6z1Koin^u4v..*A\b鼏tBTPW-ba pHpe_ Xfͱet.{ ^Fv|`FI5j,y=~Rۄ H B+@:&ǜ,bT]`tS?%V.%m=^=t?GdX$X/S|o@J?`u/hAh:Y<&~(=`xnވmР+]&kibŵ 4ÔԷWy_gs4OUO'i]&b:]`7̏F@T{HxXu.u.&TcE}:juFL1^jᆳcAt6/Tю*NʓpI]Q` MΛh{݇]6uL@sngJ.fl#(c˂7`!f G;閥xLlW$i%3(byY_ #FrQr']W1V.s Y(oWS

D|HazȢ9]u!gn1He{]̖k!@; 60Q`!PI1&KӾyl_hC*uOy2D½N3B鑖]tp18 H@LH&`K"應4I}_pV2@=7`GnEQ7D|`_߿zb峪$ɚl'e[2l$AaM:§n$Ӟ&iGÝ,N+LEgn;N_1NwJrMã]^ ؼ\_Щ=L~p[[4hݠ;{J kkR |[K~mI8EVbYŝ[!jSK_#teuagt~tƂ |_I<`3V<++pS1V4+0.CH(zYʒgjv6%4}CrF? *Z=؃)!LEuDWN؆8:!4)W҅L j[|8GB׍;RRA=m:Txrx<l9BTJ^A|M:KfF8ͬM,zG1]]X̱qz$2rVaX۟(Ꮯxz2fh;yM $-!Ͷd煵b/UuXIUjȻW Y82T?pg9.V=0ύf"khdVƓvB|^lX/K7`/&% htLN+@L:TZmq]K *Btu3QݐLxO5mZ-{p^^ō0Oa4wIΛQs{> v$K$yRߔFkok-rm9$iXzr EL.Uh8vةy󡤌)P,|K a+SvlNnpXm],dU 0e9̀Q]nnGgz.#Khdn\OyOqT䗪ӣeCn1F/vq?;n)Z}Pii&leargD FX$. ^߆dofDXPeyMu3N&Nf}ENMfj D_6܃-sVf_5_x@T^@T7c U1%m 0]Jki0;!atJg јkswfRe[ 4y ιzfhާnT7u($w ,u&>xoYVLwJ9UD*ҘKq5ԕ홚`+MJY;W(v|>Ur*Rur<1*}T _8[i.UQjh[DIWܢ3e[DY*|PW,N( Uȿdc"])幪9zgV4GJK|q$:32h ~>|Et^~<*c1,8Zs>`n Iv[׌gpRnи\%aCRΥ6W)qyuXgbR- k}Һ{~b!HԌB7 +`-sYK@|(;i@'O&Z2A p p2F,z>零F*"Ժ桄m3->U^krTN.s 3Χy:j9wߍ ZC`!t3E14vH5h4;k,heG'i?R =pZ:>YK/%&0*J\v^`oLt*c^ BJPsgA@I3nsõU)F&(`vm9d3Khz؟CDŽ`qtkIheSi,db~5O\^eZ)b!$0<4҉%Qfd@V剔@ %ScXMB2r0bbY6FQKP Q?XLY١FD[Wo3.44< d܋VWuga( F0.!<ڊ"<#CFZh|# t^tSœaxU\D̔ùG9D|]޻w<C3|k˼^@>  ?퐬0}xe<̽ƜB #o_xY\?"Ӣ!L~'K d!q O׭ըm70o%l0xg*^pCrpM*A"Xfk_K~i hc gEYJI¾9|7Ѓv=3!PO~l*yU^ec}r[/3"4h)J5اtGr͑(U\"Cc5&JNz#C޻[4) mVw(e/ 86!_s\%*$:3W9k4IA O)-ôd*<\NOm_?g{z}im]x&HjEZyys$;bZv-iЮ''.4<3 NIy½Xml q**<#οd;ōZԬu=/Շkh@"ЁBY(䭼(@8L@qe=%i`RFs54ѕ@/z~&", fo-ƌP]bYϛ:Edž6v?cbql @)OUP?E~%Qtoc[ N񼌒^sphZ7m§N$wa\4uﮈL/>L 0^3Ԫ`D)ә$t.CaǕ~RbHsQ<-o!͘ ޷ zQJ;4[Qs h1xß|qx@FLS E-,&(ɬ՞B)v˵\k.rŵx؞Vpkw94[rG `gYR"//zj*m_Y[~[#g J'gq"^w[Ns3xҍ|՛LLjJmSoU9 ɱm\X*{he!td$ &_7C͌ZafM$6mJW/}ILBI('XWAS'uҁqF:\[vU .#T|*`{ғ@B&˼~X\y& ;%}4FІ)ŻtchrU-h8ŝ[Bkf+u:DQWf'GjY Wد. d(m5ausʍZ0meuQ*T?߹#2o'ۏ4=вdXN詟r\.l"MmZOJ|ڤ`OÙxqchjI xq@+ˌјEל}|c9zp\4f `ɝL hHO' „>P:97tuN:)ǾaePWfaх)Y q$Zg$s{Rc?%`r}=G=8,ϕ4 d[P`4Dyy9q:l*(ӐF7=npuMETȿoz "JHsM4E ,_gYZc59dbb9f1a63f5d1485f5d79c264ddda2991cea33d51ec384f4fe0110890543589008d84c8e75ee4 0172210ae3ac6aaa94a4d31e666fffe9e67224e0 39f11093ebddec9c3adef02c7483d3530704eaa0 472960f7a02db52e7f8a983349237e03973e9e95 c4d8462b74b67a7e1295229d1c35ef76a371c322