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  1L\T ]% HOL-Decision_Procs:threads=6elapsed=223.324cpu=1064.876gc=117.788factor=4.777zXZִF! ]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓џR1= )k;6Yu\ׇxyiRz[vag7Ʒ*U,LdW2H. c#B(+-x~6B_v"C_gʣ'>Zs^LޔRxjwMg_o4Ϙ PDza#$U/.TW딤$5D^/Ǖ{H5O3n,w+̷0ޫ>Fǵ=σx/Y࿁tlVsJs~4 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 dU4#,fmNuhaHҋnuWOYpD랪Ge> :Y7,,q6/3Thڀ]x[ÕM4qQ-b:l a0pHqF߻6V}kp,F %lsKk=+}2U \.ϨYJAtO OVvu}1 J3}-ɾ׏z| 2ዊz|f }@ElHF!k u_C3?:¶'\윌MҴNrj7۠e yN˔-{)ر:1ر3?;bĩ_ ZbEJ;~DAt h/ctgoz\\OHs:QQ"b e( \'1ZϋϓF27b9vG@f#eRګIHêJFH?@ж_ @(e~F\.(V#gR^*j'G:#$"܏Vnb{Ũ3/ɪ#nH-ڎ û:ًfENbDZX?pDj~{Y'D,DCY+ :RB4 ΍=a yU6 [B(s(c1f KԦNJ1fJc0cF;fxe\`}u.,$c`ˤ)#ZWpj:`;1%ΞfQᆻȫw>] ~9!!5 ؚ J400 9nC!;ɍӭh:Elb^0v$\"%g="p1Ë=Ңw|u""/̹ pj=J oto+S00V}ָ> ;XadRebD] -kzџW4DȂАIƥ"K,]s8jZ{[NlY9!8m~~j9e!m.6? -=.e ~e(vܷp|VɰbՃ) Ow=煿 U2LFB#?Ć{QC gbh* H[V`nV`J7j?yjJLdyooyb8Kn8L+LN7ip`Siسʋ7B|]DWG:8agձAٛW@|3@Oek5fQIA^98!E>HW*ZBi3yGP<v&2[H(/BRѾqPϯ zl9K]/l>JX"XZl$oٽs6{v-9 31S9ay R E~dYkUbTuˀl[{!:NrsCq?X@zԑr-_*,'Ib >]p !ܚqGz'P,Na<% :ZA$tEB:Qqp%IO5@ո7n2)]C7P84-C8EAԒFL<#%.SI/1N{>OJNzw̎Ou.Oa 6D <?a,z.Z Ї ~x_3Met jH<6GvधFˮ<Ȯ =[I{bfmTZOu!{2p*ݥ|vW"ROx>DE;fT/a Yu3-V' cT&1J k11tlYnFvuٗyXx,( ɝΧL}8Z1 4 P) ab`2B$O(եA^ 6&h(hnk7?i}$JYxrM>W6_jn@9giO3MBTGڅg0A3Wa=t)[.<s}t]:-x!z0"rM"ьf:Ta6ÒM<~u՘E4WVK&FZdsRTlK4z v\F-8 (ay4E+eF.oxhª<'RĥD b5Bކ*QhUɌvsD.@8|nۀnTڷ~?cЄ|3CZgF&_ҹ!f?lsjߚ^5Jl`) fYPo'za񙆡tstįY2G~` ~WUm9rJ*]2.}AB[{E~wlU#őJ`+fE- Y7PZ&ZcD;_TJ^1(- OC{ "xNN" 5{a,"ֹ6E~I[Q;h0TfcZ{4Dx$uĎ/'3AeDfSxq7W@&US֑<'+BhM kz:_'6;yao;2(׽!!J(_u>4Y%Q/D=kxn yiP;7FxWlGW>f pcQGm FN7.'}#$*SKb0d)M6{˗p7,N&ΉuyIr/ibbo+~\~Xr NG @qm?rZIfIryy{%p:Aww*tWqH 7חҳ9Rl| !pݡy/qn؞#[HLK5A@ԋ:$,$fwF( Rwo~|f=f-*""K2FԣRqM #RBzaA[ĤD:j#! ɧI(AV$buה²1O}X] {sq_nmSowk}F (SuowUo. ;ZAa|\⿴&-#0N<f#Gt#t?sY$6[U=S [VwlA&2]HSS׸r}`ñϻ,>4x:H$4B.f9@ :Mt Hk oצZQ8n&MC΂Vu>ev؃=Qiܲ4KGš y?|:L 3[ Xϳ1S`aKZpN_TVK!e$HFZgR ^~2*_`}\c@4`M){BΌ{8Tdeyo4V7$xXc"9z a,q䅂UM}Z0̡gEbPrhBެwy" ƥ5Ȓ மJMNX`~ p\=wl#GdL*Zw6b@ъUCy݌й *b&8};/vUw)u~iQ1 F% 8\"ipbÚ?~4D8ZQ9LCBU~0_QvJv vÞUAhu=ݳkL[9UԪ YC5umȠ1s~ponqQNV}1]oصuze]G6A3["g.Ь/.5\}hw<1DeSJB:O[N$}4R.mFgYZ7zXZִF! \%]ŗXiɟ17L? KxlWP8SաM~>fٺdO[ہ/ *^sp^`̈iw5\g'u_f١|Ul*ʹ13᭢z n|ʤ$i!Q˅45˜bR`k4L1 |ɲuKHq,1ܜ""BYiǾ)qš!;eeY+@NouY"~z*{KľMͫGU4AUa!hwΏnIJD &_Lx1tލ>c81Dz7 w` ?i/kP`T~W;%xDP4Vݫ5&96Bfԛp?>7Al6fuGR9.TRB2gYZ7zXZִF! o~F"]ŗXi%JӚExj{?ܬ:^XOC^<8iY Q&y|[f4F|gMV eK݋H>hS$L6eЦRy9|Lq}29"z,/<Jܿ Hc}pvE(2UڰNpo4L)Ӭ<9Yu܋Ydzkџvh9dlPW6֦FWFKi M&m[-Op,w\ylx* e=QV|kzOܫEM¡Jd97spw'pq9%KE7394{Kj_c/ʈ{j8K8T**nzjt Xg2*9֨EdI?K7,BƭO65OGuԪ-Uk8O(.p̾ Q_Q@pͤa]dap{T\S[u#D7O1ZQFyǥG&"}UXMǛHʣ<1̢?8%?ȤuUu Cu1q Br98n`b;!S,wY9.&Ȧzړ[Ud˦%h !<,ۏk@N}0i'z&9J1y:7CI{ӳ IY5$Cm2p}nLt 5@t1F)԰?y,j9 ;Q"9KB27V[$Ǚz⊝:⾻GkMܥRxG*H=*zo ts7!]{(fƗ>5 %=w7:ΩNӴyYR:aN|'߶>,ؑ5%6@6 ]KGv:*P- H(w%KަKZ vZT[s%Ys j H<-Mp:G%ӄ=L$l JF(Y_+[70$ ߾ B-U޿*UM($1=RDE睈}YއmoCV:jAhuW߳{ ~? |7aWk0?!X3|(6/zCVyfyyw1ߚ?3#{y%-&#}` VRL.kvg9\$HR-j,ۘ;BhS8"-miX>,e5J 8*v,|n9>(EB-ev6@J;HHx~׀V_ТD}1 n߬Xoܪ]$ C!*bkp OHA8HP[ H~P{>Y*xJܱQQUmwme{AMkØ)8Ҟ]J70RF:%Nj-w\ݺFfDr' j7`;1sXUJ~OޅR]_GIc5V20x0J^z1 ?Mw7ja(?7&}Xs 03'C :r)s-2jr |xƦ|- NsZOodBpN-#O'}BdV]6bYLCB7dÐVQ lhZhZḵ)Q50mB873ȵVKSybqGz Nz}qb xLѲPg&R]\{0v;-hŴ "iOŹaC*" NF'ʏ}G<:)]Z`8-s|\a{ pF҃끯m0nn,wc=jbGf{[ɨ1haDpo\qs;+oZ+Kt JG$jQ17SZt ;ey!NkY|c&x C{y$6*Z;X"<}3G_KBGT,0M)M^#q+)xh,Jby. D) 31. ##ԋ4\!8mNQ{ZHehuiNBwˡMM^>XɃj䑨5hAbd!h[veJ6?Z#RnzF*=ɕGtY'O@fo/G0{a|:/R mũ٫=^:JpZ`m2Eȕ;/.8\chr0bisB}萏6z XvQ8Nzf`PR}1_܊H2rۙ/4Y9@8I7&e)NP)Pu:lڤ0L/!nr}:y۽{5']sij3ɫڧr[$W+"%,+Iƻ0TN{OZ!5G뜠ahE9D) *LU'gu0e'Tbhm!7 *A_$q]tX ##>I1#S$LlNIrgE.b?!cgmf5 ]/1hm?{%C+ _ơ]Jj 'lIگ<X8#8ur 2yr=f| S>l7N.]Nq+<`C䚴ɻOUk}^Rb1>Ir&{z#^gD]N|exOS؟@=.珯ȐW)az2S_GA,ܙ\%WJQ8dI&z' &)]brse N'' so4 \]6Elvւ;,޻{/wumPFamsg*B?_(䯯/uCi`.`/xF- hs4ռ xUma<~cxOt&H1Ÿ~J̤yn ڳFfV RG˗ q> ?:H|5^uOkXv,cNEl)n __^u'!6EKw?qxCY36!;_ujF/oZbo ']YE r] Դ@/]'`p'\*S T f%vŀ\HK(1_ L&2܌blȏzrc}lY sc<ɉș kTevLRV6|px1|r ]$3^(ѡ0o P713dz [3|9qARȵuKL\E >/_GHb'LCs]HRWT(-aԖjyb2>~QG>_H#YO־]kn<LDȰ(Doߓ(~z!0ԉ0i'l[X0WhV!^ )iW )uI,|{"&kZ ~B3>Wb>-#4L-`t؋7*B߼L95|l)1pvAbxC'9>aP N٭7Ϡާ;@`4SĔOei= %M %x !qAW$,pBo pc)_ ^ yoZ!"XFKv T~o3*/<Ռ$}Fe l`9?@~"A+ \"F~ϭۭ;rlݲB+|A08EQhŵTt$̙I6SYb\ou׆!-=;\o\^,۱Rk, bcJ #|!#4L%E7'"x3*z %o$bbycO5M;p_r՘LXXsJa&+Ww;^rejlXYJ(UWB(* :-LG>/<#ӄeF(C܇O<ߧBdG r9Q>>wͷ=mtg&5 ÅZ',YƏm$ᓖG  %, J¢} m{wJ͑#2fqwL򷪚V3O* ;4hKRtĶgJ L QML_%EN(\_ 22Tt(W-G"5]zc'ArTi:F?PԐD0)oEGdP葆4W>TydF~ů ByS> J oш~d#*m`åyO![Aރs{`嬅-̬$*oW{W]^ !%I'cںr.̀*qPXq,fCb?h@lHhg`{7@l/yd  |$˦sb}Go| 9ylE.sY!v T}hZ.ahj/jHVԟg`m9 REkpx{7SSKp9JQȪH@ADC_ :%PRWS.!'F22vaQ|#BŜ%9=q6=~#VґjtO+;tIч)_o^^.iHbMHpvd-HYۥd%L~2>S'ŢÃDVyĕV6TB%' ȯ4 4.gKH)X!,:Ys{ tJoUj lx ~A; mTptU'TP6^ﭓ~R bsSi6e|#__NsjbDb?a>Y~-"]°o1io,qU(B0^(`'̹ 0'P7$ ~Nw~XFd -[I cKf%DZ Vֺ;S?E_WsHO-K *̛$%IZff`޶cv3 egd/ \]jZ13؇F!c^:uP`9*sFXk-;`)h`WJYrW82Qn%OY3E 9E,ҏΌΟW&1CQl|򬸽S^j_я菻X _R=j߯A={ $Եݽ'в!=B0@?3ylw#FR~%`*–JMP"'kb\LA j5?hilΰ T/\QC[P.yClFM(9:V GB)ou@c6b.!38eMKvbD3|n/*~茵ij\ɊUreT, ) SG:xxc Ew~n5Sw1y$VmrDL@DǙ4f@ 1cM^RM@6aC$z5"ɨZ4qz,XE$fѠ̀^f^ݤ$iF^Vc3G4%p8/wwm Yrph ]ʶQX&_\hҀ­?nZy>tC2ŗ^$ R7ڵNHEh<U*(xџ:( D7e3 d8mRBl5NtSH2a6Ӊ'PJ-_|3DMPW54*@5 4[`Nx_k{!u 5eϠYDǏFr!ɴ`LD$սxɀ3ɫ#+ق@wڊ>nYvgeͣO6cE!>g_9顷 k\4?^(X+'PezC v. H$ ƥڵQ'K\?0'V -%3\S=S`8K21tWpIOq_RVJȹa8 [W֤#aM/YõBk2>ط g:ݮ1LPM튿:Z8o>1Ej̩!Rd/z%~ $>lD#idgѫw[XMFto6}jpzȟ04d'DÖhIԎA*۝ũ"߷ KR72^]Gva'X& R,A'ҁ9ꟁKeu\`$ްCurϥ|#*7E!˱0&]9oxO+hF[16[ c<9-͙ b-:ڿN* twN5!N.Z` ˺bSdrًz'Ge4 щX@6a<d/ v&;ݬ^ZX 0S.I,c]F]Y.LnUy`NT&vjzeR3jM5箄L,gU'> PۑC& Rfki^p nKj&e1 (c0ڿn7KOuԺѐFThPzJ,18%]JX#V~`SI+iM'~?Q^C;5s9,z<r|KU{A}G\״-bxyrf0E}s[, ~w_k>?EV >EөP})X=A@D|4BhάPU.Rv/둎x n|Z#QALYTQ)֤xȈ(|,֦-H'ym؟="B$B $uO` Ƿn,Ė_9?5ݍ6Qjd.L[^Z۷hbb:0bjbf53I['a4͑Ub3MZ@ 1F\gKƪSy#nVޚ,;C!v >zԸMpZ $,Th6$t0ᒚnF9Qp K&! Q`ww\]6>|>E`2DO*z_J0ϳ#vP+xKU ۛ1F^"U2RZؿw쐋(3:K,[0e)zc?a-Gu)HO{{Ld0) &'3M*__Z$!.r}+u0RS.oD!W+Y&g)ӋR cW^\=X$1:kQnwG&a;E1%պI3Nxlb"tva vd".O r1F~Yvh{MVAjzjPs'`nP#fyK}Qan";[s[갤۪:*h5BɄƤN+ "}S̍m4U?tK$5`5f8✾qЯj?@8;Wu½Z#z EnE$t8<˰nF|] k,BMNSS=HTاLj|VR]|Mg Z.ʧf74W'!9 k#0G*b&h[P@UlбiSbj['*(&> yzw ŋVZib窼7Uj^{PD.ز:kXCF/cke^ Ϫp7г$FDH5ISKT(zP@\Y5Hݑq}/3 YFojּNK1S+YA.C\l3@E$5 [,I3й/Fouf^J&fRi;0-Qv6O27q^&БDTپHjV߃kOlGѼd\V $]q)\H/lĘ1\g=.g*{lPƪfvi>C՜ ?N6Y21WFr.O$'ڧjn9Jl)ڴqG\J_0/"@Dt]K} X~Pa<Տte`)qX~8%|'UgMVE5w7N)RQй( 1]F'_Ɖc]v۝(coyVJy1@ol sr։3cz3XΊN:5߂ Ukvg7_Vn1Cn3 nBxdz,USdߍ}Q~>` vY `2%3jK2)̘TLYs"OבЈx]#g~)5 'lz|=C6SBSx 6PtHeدyHԠ:/=`-仰t _#'Pr{1J785-Æ"ݦG$)bh9ZW b;w :A浽3xV._2A뾷_m@tVpaԢ0VT!լuGYz\,N9ĝ-bHH˅:BYT '5Ȳߩ]?['C gSL[qM:vSJ q+>KH<.蘐xhJ"OjgOQxI+z Tƒ=^#!hN*gi8r=TbcFq>+L@HfȋnIdN]¢ l 2A4j:j? 3)6Z|niTp/aL3! r /)y@`Mi_p O6ǥ(MNGr1ՄRV\rh]-i${oÐPtU= qUG)!W@HXY'we{GIt.:I*i^O؛uEX=zy*^9/w'Cfs= (cU#{^eKKά6u(A<70 Ɗ1BiY)x?0v(S!=iEX- 2ft2sh$8ĸ+>Λ6OzŀyedҠe1]?Twg6MM]gQexTc?voXgaAH0h&lRrSRo|'~A{: 楱#iN? ?dO~v6Wu fV=L@tSP'Fd,z6Ezo]PDشg3LnRÈCИ1z" w̜V̚9զ(JE5Jv-nr;A ok0Ɍ3mtT@;47<U Uw(qxj|j\KJ_YXIrZR^<tU9\ڋJ"JCI=B𵭆a,e{Oկ$C=O)95 \/p2kՕW$k *U3oa~eɉJާ,liJ[|,f7FFd;asI{OBٺ{rr|7Wk=6J4曽;jEuxJJԎ :g[>vuYi ͔L-LW 'bEoMha_&*#(HB#v+n!#2Vs)CQڰ.%ɢNkf_7T1'f:!rJt'_ݙY>3s84S#,{}".1>ks48L gOR[m|czfg}; >Df+r7ՆХGMIo0Am7\zk;(vJyIBa%?y>rS[9 sUGë.<щjK=;cwͶqX yw'WaS+-hzFy6HBaTiMb7kd󨷲( Fۿ{ϻuHV>le.<ɯ*ŁDSdVt7ΜZ` m'ra\v * P tQT?A݀ N[8H#nqo>Z' 7)BZETBfw(D4`īYDS?2-k)Jr왦WSh˦_y~t'?$ĘА5)XyA–} ZcdbA &Aш}a6:=VQ8/CS7mIX`1DM[JiMZWyD^\<ut 䐑1,HزVܯXڼuP 9#0 I!|)GAD\i'qV&9xW:}y`KEG{}ـm6=iX(s}9 A yޗ[xIr6&7KϕaLq~.5tQ3unMuHҊScJeпqNI!O&wj ,.[}Nrrcf|zuh{)AgR﹩=]ix]1 (4GI8+hCk`q`-?JJ)N x!,%[EȎ!O.`YFh\VW2}Œ݄S}1NE075)?eoCUR۷<`:$DC}o 狒>v".mzzǑs)t+ˋ%} TrAa6(brͼ8l*S-׃1uq[ԙF"QpFQFKbfCl6# w7^` ~IKϞtyL9cBMR1/.c"o;%ԜӮ#b3J W5kHIZL\8V6teRRF؄[s}s.֧6 c&X~5tXu?oQ}qxYHب3'"R¥(D- #ijJL:ûjcm1/7w45]:U-2_G3j2!zDyLQ09Eޓ¨9o={D6:XKߏ h@ӈ*Ԭ]'\7Vv$lί\oR+>exfi`E܀ŰXXJ'IFj?2aX>ܴ]x.-F?SgfunIգqc !qw)"G]W,Ž{N4GE#cF5RV-#oP.ݧ"67֢-k Kڋ^X?UNJ:\>{a. y#VhGabhаZȏW`}pON M8ͣ)/$Ч2ez]D}Hn.EK$bi*dڔ8hz>r6;KNHn-UYV|8dRd颇[B)FK9a[45XD5NKuaKYTs͛RzI[y(Pf+;$5 QȒp]H@ꝭ`p 6ANVH h9G#ٵ`gYZ33771d5294739e9b759337116cc5b83e78ac705b42a32478847503f3f85ef33601da5d3576da9156 89ede7dc0b82d7f6167cc537096edf93d9e4a1bb dc9691f894f2b16fead545ef8fd13ae2982ca897 369fc16aa494f69d0e5ca704525754e09bb0fc42 3db3a891a721153cd2a594f9e6babfa6a1ad5217