SQLite format 3@  .0:  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 1t\D ]% HOL-Decision_Procs:threads=6elapsed=220.866cpu=1064.728gc=120.712factor=4.827zXZִF! ]ŗXf1-q恈ŕ׬[p){thyՉMx{$V;g֍SʑU1BVSqfoAꔛ}a_oS?Pn֌'sGgkWdt_+@ k9TUXzW Rj"0 84`;bx"sf(Hf%~" ӫSiһK1kSZBn<1OkE~3o<2̏-4jTxxU-y`]GNZ+ ,C:<lؾNyӍAn8 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 9$Ɇ:{?!Sny_d;X[x<τ%oE&o}Y`rJe dTע>Aڥ8†V=qH%6 upØRO|<6ܨ3bגR=n7:A+8[>,e٨Mb7(~nTpS ϶"|JuhnQQ⡜.sS"E6kg:yXdš7KHƸl? H_PCW}0@ -[zEL0PONǨ ǛV‡xPGNMlJ$4޺hB˂-$NÛf Xg\j?JYC6$_$dJVچ@㥺LSl n+|[ x6GR|Ԝf18 <2lAɰ׭`_N4d iea/ N ,`!;ϗ_[MLCiҴ< y% 9atv3k_{."wwAtÈHnj-B8$kˎO*#=n@#%ٓ" ]򌶦jssZnbv>#p0{muu:+u:YVSFwguˮ"hM[UF#/aBvjIOc(E{/!e$ k)Tw E%|`[|pB z_ ̲#r#< "sҼ)デWބ"oGq>#G4-_}0F>o5_D4\<=f/n[Oyv~*9Y',"5 d`q\7Y֬lK˓ fs*`ԧ!q6,$5H *-L<93;A")QI4O]jq-x3ą8 }!n'j`"έ3_Zf/zؤTugrΉb@n;]w]G> :Bm?ĸywY"P*?R& d>:ۮj{K7]5H~ W>Qt ev$ 5hBrbQ7"l="ѱ]{+O1AjU3Xw#d1hZ"C,ULdM7&/NvVҒ4AE5}4 N<}/ɰnt$Z[i6{4 ´4ePZQ,t<ΈƝ_[[gpFW.$.s .ѥh ԆVQoP4`r*% #?>}F/x;e,pzgta.β2pDl MJk+$,Lvi'=T'*\us:hRi>*57 }Ơ,Y@Ѿbվ1OTMk\x'%l*$SNOŒ $)[xZI6+:؋Gey@3ʞĴˀ9mhc?i l]_P]  Jv5qV :PFERMv-5.x0X/&)]"4| / ^͑^2jkP<wC EߙNI`}*Bq+9&e⛄?Oʈ3qqѲ hN7Y#OK,;PQxԗc-z>(6f!e|/*,;\OK&vAtߎ1`ė8j]{paCKuGkzwW-n`k)i01]`~ڭZ/ٺ; 3 dN<#KFDšIJ L>N4]Q-)MX,[TE@H\*]b2(Y#Ix؃/.ܛSB'@ tACWt*1iJv@lAg]1B3(x6Gx^fh7T.ࢅt'Dj+d˵1f;e6|\Vۼaդ`A[jJFF>HJ&#U9>K2=zv M+uz(HZ|]JB0+ÃcJBh!Z@qҾjܬD-m,RZ3GZ6<EYi?ϔةC(Y](-L&7Nӱ3q|X"vZTG;l$d;ee=*%W$BQ aGJ:K~.Jl3گc*07 ^l<a{m$ _ܮ?.b|IBǺ{DLQ\τ:4ػ9|Zj:%''oEevVX#"Vh`P^uξLjUj*tV="i8Gɽ6/߰u|$t='YɾF-iq$(4Y/Q'޲fTF91Wĝˢe-Z uҙ=5T'<~-e ~n Y^odd% e0gn"ԪO&M\E3Ω\]Vq[J1^rsگ`ϙ pQT.jgS7i弎eh#1ﵲ 2>UUerMƎ ;,]=YMDZ5<͒-5B|2eqQ$=.׋&8Nwx o? S-A2"U>izC=O]tbFo1%uq(xOZp1b\j8+([q7CVRX7) eF*RKWj)00*t^;LxԌ:ukkF OIU&v_Tr#Z/6j 4 d{UGzNRLt_#JϕKqoُ'`*M>gX-Y.+NzAAkT&|3s:􃡱5j߹ t O!/ݺ)Zur}caQ=&v7nG0 Ž'gµ).""m<ږ"#S4$R}j8'0B|'iܺ:wZ畏[ јҍ86#z6|D(yKzGL h13]3Whwe-ъ_6>H'`n ߌ8d[g&`cק%ua-` A\=l} mZ:fٺdO`ٖr@8@rcu0q}P_C]4a*j4OԔDH.)pQ\&Ҳ:ևM&tO%;i<#reul׬lto{uxT3t:67(!]sX"S(q?QN`ّo./ :6;`'coÃ4 )݂b}hjFھz7z5 o9zJ9 b- q!!]Q 3 ,;=Wlu9.H)1g ExIU>缼g$FAEh7!OS'Uwq;d;~e:Jߗk:OIdҀJh/V2Sh*0^U˚c~\Vmc޸F 9aKt 鰉f}3p7aF8ȵY m $+Zz[X0{fa< H{ڱgYZ7zXZִF! [qE[]ŗXi%GVMZI٨-lsZO?'Q(&ƀŸ~KX>X_jIg41 ѻ2³Em(~n 1xf~]%skl8C!>i/N.Q %cߗe9߮!Sf݁p{9)ހ0l5LeL1LC:2N?X)a +AoӄFHZ# a] 'a |隼!${M6 BkI;AL(Sgqla(NB; *_B :bqea_OACuCs%r՞q+iH|_u^Xaud>`m$q:ntrO ;U-'W>|&€w't &p@ Joqĸ@>5j քed24l-K`qRK ?廽o}q @xQqgK.g.ʕ 2]¦LZ؉%~5ާE&̷Anmr nA2NT8N\4kT' mTό`+68֣ۊsOwuk ןҲME>je|j\^R/S"K c 3g{ةoȜ)lIf1_ dPm`le46dRZhJ|.q{"L0=Ef)Y@V%38rk[ .ZwЯv}^"Pۈp5OK31МI +FM6H%f4k `(pʀkoO4UU⟲WLڅ0h?C73Ahf+a=-/~V38I)vKfhKpNZ4 ?'K@QN5♋]-Dn[G΁XXB b& Hؠyv 7M \_k;L|mW+͖zO B6&t\E'9zU +Uasee8,b,}5LEkW [w7Vpdw.I[*jVEcݤø;Dx|!+I/#+f98\6 _TF6H\YE3c jHDxX 0V-E>x]8"$۸>*v+t{][؋#{^!id Rt;lbX щ1EX/m7swAcv 熻skC!Djw&a 4.fZ>L8k B5x>.R2 .BuK>z&@\}XoE[7њCopjs@/eSn \Pֹޚab=Ŀ r>L\nWJԋ5Ը…cE8B!Ǻטּ]iν[_qr`}vxjڴ2aERcCQj8m't5_ [!-k38CJ,t=o}몽wpS@-d߈No|5O#ڕOŅ#GWO08#iګubM%YmSrAp%.g앜[of$gaǚN8}vLhl7t^^!(h,`4\{Q/oPsecvME,˼֡LлvWukԶ$CQ :YrvpKbAСN_$R6j-^ ;B$&8rAY]N.b5xr_8|ԹXVpdFʿykwJS[A,j rM@0@jܧjq{B{ʫZE^i݄ބ6kGgl`ՑN> j֐$;'h~ӣ ոf(')|uk0M"I8aMstr }/S]Ƭq/[+q^LX)ҫ]wΎp@hYW {?1k-WHV xf2=A!2f 1 S8l ,nYv⼌<+Ao32yso;IqIAwѣ}(~8 )gͅB7QޗaFJsMIL; gyG@u"?ݵ\vO o`zS2Q.pE4>}췺PCaM wۮ[E?FeR_FN m*&3(Tؖ@FPTӲe$T\|l:ptYDQh\q> j%֟frm@КRR%"6|z;D߿>$U1pg6j1s@bfsFqs_]aBH 0|qZU!z'&zR (h3Ik%wvgUdgi!M̙B 7Z*? by_eSVaZcAAVtS"ٰE Flű2,Pa˶C־]\P" ~yѕ#@ BU`T;_hqB79Ul0`FjxldDi,$8ŵ=?z#0Py.I<|k!ఏO׵uQ L}JhczY]&yay.;Iﶡ&#Óck,iPk/֣2ϨSDPS=uP'OHLM)﹘ ݪ:m۠-!߯c;|[C?I[ySd/Oq/ְlIhk9y/#^ Ct\Q46;TT!m KF(<|^U/zV묽pGCc V@0*ӪM0=T>Io}?RI 2vޚ`Œ/ķUj[ݡ#?AQϵeK*/'vo"X&W*;ǬƽA@#<ƴQİ$;s)+ޕfsA4:< &tylGl~hyEۈ`RHvH s5:[;FPGL(1WXeIasdm:=MłucQ[ 8| cov(ؓO+*0a܏\_F*73?ٟ&DD*]pڵkeEzzi@TFhCq6 PqaUqyL17#Aov}1%+-|E6=hyF^v\.m\6Aeo1eEZ0{ttڋ1=4b-Z1Wg6UvN7W+@C%ƫaC&Zįr÷3$zӋMgjS`eZ{z$ w(ߙ_!yDɌ# 9#hR/yqkIՃAPXWjVzƠH^Ʀ"#eYL0c\M{W(t2QE yi`5_ AȹfN{IegO.!B$S/oБvN5ɹGKԪB }B*A+qXR5[:-ğXXd icb\b>AGp¿6]9@Ư:`x̧*!O4鷻 Sh1l;?͑guBgw%c=_n[qRb6H )P'~+~;Q Eb I{7X[sz*Z ף?B*DM!TXcZ+"f0*wdq2]{d %`~1O%$Ǝ.o7z4YIeQ?^Jq@sZ&1`X" ԉQ/;k[I=WzʍH`NlOS z1 4F/sfҌsrM- 6 ٲQzB:~(,6% <7Mé`K|yf[;Epmx2cct)Y@'3)\'eQR1Eou|iʑR MO_w)K~9خ߻reh"6 ';w`WhsރS%2F4!'zm҈b:_T&q=N8|-/+Dxs,e_0vSE/?!@耳\<63HR/:]Œ:QZOD|ȞzQS9!x n=SܦUydtH:ΰ_$|N06hgIյ]%nX/`$(/Ig΢f<&XH(Һf}z^G5k9×Sq8TIUߋ϶Zr~9|lw42̬nuˣ:h{~qDBH2J)ٷxDkDAFiг9t ]^-HI<_6msgI@|*>0sĴLLiޟ`+4NG1Wo-##'՟qTO,"W&͝gKpuD*(n%U}JǀޯTϺ2cvZRE&=4޵r٧tvD5[>t Dv ŧ~V5J&U_D [dUq,V:)-(Oב)E.Wk~Q9Zz݅:縘cN!~VIzGG 7 E蝓 1 Q4[v`e?tT-v̅b k梜{I([4jb}[7ʒm!~sߥN%mKl8;#D[O)j.lc1𖽭hJv2%otT1hF?(3wD P0s[ͥ4N3-/{dsdAO9*xS4?W1>PM6kh{%qpV5"H J]M`᪽46ThKBUCF"kπEjFqQG|kxSόSyRsVۥJglbY"[XTv}4Ƽf|aFwa&jƄYߠLuۃЛYmX-uiu֏ޑ[-xV\ҎS9R)ta8bw o,/hz ?N{l'[;k5b6,(GUwx6' IZJ}4B]_Uك{2Z2AH\%|vXގs]&\GKER䈆-4n \"3;0ƺmuEFyMR{[N6KjWX*m:WԜԑ5=QȔAb/n/chA/^|@UV* Ģ^7kI ?b )wӂW '_D:< D^>,EA8Ϝ) !nFWϬzA S½D,QOq$k`|熑oPa6~/*t[Me74cGϘݨ5Z%5{Bn!0 ^e{ԎZ4bdu{MHe-Oq[}Hskd~Jk3 i}pO"{[ܢ=͂C8e Oj4#p*z /+jc ܓ%1N/k\otUX1JA}Z~Ȧ47Jd~ɞ3[ f/.?lL]+Ѐ8_ FaQTml $ѨW"%YcSD s I B"ZP{DTu-7yz tn 3)gw$5R3UMcYPm,'Xk`$^nxͩ]>vUyT#*<>k]{Ǐʜ )_q%M\=YxLk>L>tr̚GuI2v/ 1LM81 @BB+FMt4c)pְx1˓a&ꃈ./kwlgտ5p MCW`|ɲg?*EY_8˯`T<&L٤!/q $, ?8z{L](޵4&Ş'0՝8Jnή*'q c,cH˞t[=0=`|k/$g j)wn6Hb@[8|,c4Qf¬1RT:(kW^7A֬TWXko8A8ɚ!=ٮFj2Sr2V#0sJqnnCg,M#PD+^]bqgw76)"w_H ᙲK!Pk^p@JE]44aZ~Ѡ8zw(^I< Q_ Z8DW9iHVn8'ώyo\OZ# qCY.?T]ҝzPpR/1Ii}>)) I|}bƑ e ^Dt/ V x&sčvTRWᰟK3RN쌵&rZ޹g <n[qC6n&krw44Ĥ֒ } _ot[}uޅg67ȁc~М?x84(VD\83>(?>8ISS6X0Fŀ[S//ڵ vV]ЧU X48W*A#m[m,Ѭ]_z)gUB~50&\3OcY t`1L#jF)TATjjGUΫ# AI;xl<.J/ h(dGP qY]Y(2ć[N͋WKdFs\: =xF K"`: Q&楒Rp#=@Ec*qZ0 Q[Rzp8Zcc]Ĩ=c\~I +gLv-\ x |^>]5*:IҞ9=ОJ96 IjOD|pPZ+k łYuG_Ξ8GϚ~CzTfE 6WS @ 7?r^]CWO_\qF;YC_)8 o4˦ݢ5`t]˛XK{C(c!gė# TmGK7Q!Rh3\^"^<@4Ը:"!/1&kwFaz ^ c9 #Z$IP@ -rJ$diZVrNDC9I:Wv>L :+m?m?yEéaXFC% n(<6 5v'Q!^l0jH]揮Hm95 6. o.})aM<y&љjFxu@*YJZ` 3-ytbЉTO/{gZ7<"5s@|k58mI/¾&:.[{! Eh)т c%9n}UI,0lwsw#0f}V+qV|n;y=d3Ԉ*)Z0sTbRXQ3K6zewR!W1rX"=[j X# LЖgfq%UByK#YGOV eI]>@-!`aQ[a7_'SBվ[Džq,y-,sдdh\_s33J7=%&\ xuGa.*~ޥ\\IpK'c F@G@#4jg HjQ=/b:`rZԤp]kӋ|m&ROMjDwzS+i*R_6τtknO*yKt9{+ ŝv2(Ҩ${!G HU!Ӆi& ssS*wd o01EEBV!|YyO5\Eb쳔v2 4D'<"Ej)TO ޕС?o5DNvfe%k/Q1Rޖʙʥx6pK\m*/_;yX@ _׸aYDEAʰ_ey75y. `H8qGݧ@4U )T6b5=b~S$m %U3ߩ5/xbx0'O]va"? YqWJNOh͞iuR*3-Zo^{#`^r5@s)}a*/3z@;ԫNh46|PU5TG/43򪯠ud((#|i !X|JoR& Q8f%iRqmXk[a~"$/T3L2kcXRc\len]zQF5.cSq@"`下sk8_%KBA;Q;"2xC!D*5"jק*W`ؘ; ەZ`ڬHcRd&<yoQ3m,<pE>`=[ h\}{t]}L2OWrsAq6q2}G":7yjXlnP6a!\Đٔ+ai">U}hc> ۳!! ?WNl#x,opo˿6Kw@oP@Z}Tw!yiFjЗ7g \I\X_ǔdwseWvKyFׂ[k@ER˪G:Sh ܄'5`#?jڐh O eH?Ō|0~֧Cm>WB1QGv*ia\e;@3e%Dj pߠ@|f\_\VʺsBFr7"[ .\ZRUB.rbXɿ#3ck*_UP~xmlE`C3=EkFt?5)2";>Vп L,J1}GHƟǽj-Ґ.iD9n4Ɓ=>vZ pã Hۗ? A$~fݳK3'}G;M%0ÕL!DDԸ"ViB]չ-$)6tssR{h+d6m/~3"s\ZHa&徸"@v$U.|$Q .ʮT8hMS ITCNݾL|BMH'ZHpj*0s[Z!JH 6/ySeg+DlErm5qR۝&PCz)!D0۴Bxb$CqݐQj(zac&aZ3ƽ&/̍QV`^=+̆vugks.AQ4J>YkҚ! ؗ'['yȕ Kބ˻sX~|Bygfoqt4ε"szu ,j#_^N'Xy#  ae.a?C8ǷEmm̰S'.<$&No :*Bw֨ 2=^߈ثZ(9a|סd`H[8-YCZۏE1JN VG>4a6E>AFAOF80,KIN !݇P=KDZ+"Ey$eNF$=f BdrbiDM[݄ lA h…MB@AQӞ{:9ur}!įDgbKٮ-[iq3 >\AWGw*ټb7jGnZ߷.>Y\U~%1sy UhS9DKR6g\~^2A(LT׉ ]wzx5UU1\C~A*I735#5pXF\O-IqXú(,^4J=|Mҫ9] ߽~^GӔ`I;B a@=y,@ Aq(-0׳:߅H׫F6!zcI6'!F`Sw jΨLՕHl837pLޞYY5 ΁ͧUfW fOBY!1AvR'x!M>[gUi5n7CC^ۗM) rfYlJocrME\Ot0r؆;e`j%`3+yHŪ([1؍5C_`^B8G3}k{n$r X9g _qhħZfDW `d )4,M_))9Vh>3OzΧue2(L5"bfo-7IϲPpPZ5KBF9K۸ᶂ ua*sM*3Ƈ@qpXUִЙwuq9O:<7m{y8[qfp*|=J9$ "pfF;4 C9o7^W#uld7,RvԳ8i L#)Xb";-.sx 3Ϲ.375{P,Xcn&^.4`G~%Im;MO8*t7W ׈=v 6h9]b&D4d`%sk1-hYqY!sA=SskꉷQ 7N{csⵠHe#{_91|.1hЖY%y>~bxȆ~Vĕi]|Jѷ~ݐw2hj/0FSiX&13񞸏Fg 7ϱ)fa;5,9eOܕllJh;Bj /J%H`2TKD+U_bzeo ?y~P0a t36=ϋ)M(0#'`5U[ok$%G˙ukԽ㇩WB[}m;t˻|įg!vQ@./鄰[iKφ8U^97CLw7#jᙺME$/<ㅙ`v(b7,E3 Cggu a2FsN zG>glϚIQmjT3]Oukݔ+_=!R!`gZMжw2ŻL(`f7^2ĸv M<'f܌ihcD}E ">Smx)7{B #R^`u q!Od3}ٚg/ܠ_2j)IګYb8Pkp&^sPAWeHU=Pтa{NT]4,p WLc":^"!U%)85}j-?>7[|^kU + W/( |z41i{(3Vp=K9vp<Bp$mB2Y۶"<8?;.z"_viMSE},Й>-_dr!@ 䙲L Mv5Ms_p5u(ŠoRx;vI`xC8 (|vsp9XGgYZ5f65807c5778f078ba29cc93a962802eee6ac00a5ba685b34502b4975dd781c9ef731c56a0e0c185 7db66820c4732ce3811ef4ff9263cbcff2cc8580 46b086d6f859329f35c9e2a18da6cfb333cde927 c84ba0b29645c777361129c6c4661bb967caac02 ce10df7682cb941a9a7d2317b6992e324ef77fda