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  41Dd, ]% HOL-Decision_Procs:threads=6elapsed=218.324cpu=1000.292gc=91.080factor=4.587zXZִF! W]ŗXf1-q恈ŕ׬[p){thyՉMx{$V;g֍SʑU1$B!4/oYUg\*R{nn噼C)Mh6̓$_̢Vn#ܜ7_x=B.FDU|G"| g5 UP\[*~)>Cs1rW5M;7/]IE+lf9j=][ӈk[6[# DqY«݆F KpH@MLW?a{ա6z>"}\SE(<0ޘ _f l(L 34#LTTfq dõy5'ugTmIL[qNKw:5S`"k|[Eu gP^N[\pޑG .5 /]jP+d륁h}Pc#+i_a3+_<1gaD Y 6],)ZuaʆD x1Z'?f)ۦk?wW?%hNUq}BBش9NTh(Y?)l<8t\S9֨tf-*ᇴ v1w ;@;HR^H xhT=BYM.$Ou<4M2±L(9Xȿ >xD _ZrOƃR6mδUG㦛֛4n=]`b`:]HN\^ƥ|_ $hAZ.Kr Qvr *dE'Ear%%=bz)+K03+QVG5 N8k*5? :,_|uv [-72l BzqdT,֢O)c oO&:^/`K m6uaFjD3%˲tLq_: ګY, $>w Q7- eQ3&W#] 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 jRhh[_,8;&+rN+O3QEATKHfi/Lډ1viZ7uC.-Ngn%mvg_Rgc>Q(BiX~O'"GR3.qyyLಮ}S( jHs,ZkޏEm> C ipQM ǡ oLˋ@w ku`L}2?x]"t1p7H*@lO#{RS>@{Y1&Ļe"vD[š;{89Y QFnS$[~4"k1s^1Y2b.)yUHq<LT G36ޗnBO\#e5(d N/- ЙZ8/3I`=NWZ|ښt"{>w8ďcwR.{ .aϽJRLġ8a Q[w.*J 6BW~jM%v/%xC?6Z[ݷ+FUa" EQ;4H`cۯ?t8-_.ȈV,?D'6n&z +2予p\ ;!z(JNxLʿn|w$62HxbzRejOF =p'H@AuAzGHWYrFD.^.|Y㚡>KGK".#o?P %b]$A5#ЧKAnLi `p)RFhvE& M_Vk'xU^qY>H$5ة@ֱܐh}l._z [ρ6F#9pNkCfb2)&6- 7J?Ф5 _lthٖmnV|W/D[yQXC%*%einOƼnw+:J B 2:+ aWLs[B+G Y jzdkW. W9cȫUUى9|e @;oSQ>#:Vٸ욎">e8µH;d>! _^k U[PQ#4)nٞ~祝5Ov‚k$xHTtHeOv;\78_> 9Z!Y %VHp6_F^e#Z:tsepD( -e&JΒgu 3,ZyfߚjnrܟG.<bXa԰"Q S ;? 2XJB0)Ň˅ԋtG+ b>^Z35Zo0NDdjh z~3~"o%\mi%29ōf/Uo5 ' m C Vf-TvEOƅ䣏-s~ÔYgA?L-iCb{Ūp$N?1 :5i0RzoZ.(<0֓htbof6 }4Q s@F6[st"\m3LYWK0DGGHydp1R..&\;ޫqL|ΘD6j*{b+ l321BL 8!^5Þa@ip]l3vEpI9qRw_>5cctL Cp'+ϣ)#!\\4i6aKc%hѸlF!ΧfkӿےGݏ 1?zFAqj@y\LGv)eo/lⳛmΫ&'Ϙ읭g dCcg hCkݒ~M, :8U9.13~~H@`JN ء3` &sڠoŃTս3@tLD0H©C0 `f@w\^EZD1pc' V6nRȓ'^Bv nTa;Kv/W rmlpy EA/- B&OIPsckSkz| mJje4pe bc|$EwcDe2&k`fHsӭ`C > آ'Rܛ2{ 7 5ER=קk9.\TEh9VKF'` '"hpP]*UЋ˦}ek4A]_<}teenG&8/T^/Z'cG_ES _R7uGV#C5;Puxr oCo^ d&X4t%-mJp;؇aI'S庞|,&}DlQ'_ Dʆ1#z58R6#S[l)f Ek_RDRY4OVő>ቬ- D+J} ׼ȴM!?ۃtmwR{mY,)d"65QCuF)Y'S Fs6@PZ' dYzPG`iI }c\ }JSݐpYMb,&'o-GFUl‰} CI2~ #g,(t齛)(#U6.MFc4AC2lҡ㋃:0֎(&?M,~C!l`Z"KYrB~ #M8ӥ|'\5fT2릻$0Uw/AGf[p >xQa qQݣ]~1 wBxؑG슻=./XIhS-MbIK!XlY|igfWKؿ҆*)|פ;Y{W.b`Wis Qg=*Y(*|ZF^dlv'8Zn]B&6Ɓcಐ%hIW*T/ؤ ޱgYZ7zXZִF! Y+]ŗXiɟ17L? KxlWP8SաM~>fٺdep{#Pq.qmsu~pm]}ϊ`8_RVH=x_<:\2t4/P8h={L‘i0kE׈x/@bv],\9N| tFuꂬd~y#`MtCн  2Aw1cǖJLφ(ñq N7gӕeQS%LcUKxqO>BI ry_e_ʠA:\s=N^kfz͓݁*1=:kNPqD+ s-w [AX&V@h_!Y¨'#;շKthS$ݦb.lpN-H9B r!hrO#H=xoll;k$W~z l,;v=f/KY ϸSD?gMI?4i#E{1n @Jw7|dGNVde:SWD9GXK1c\#?r0'+e: Hv sم=- 0Tpc$RW`%ΐ,'D+70:c#?|y%ՖNxQO ]{DM edH,^]a'wNzA&IKtK>ZDs>"mfTw+=4Ro$&-AH3[fR6&|Au &!rחg=1EWwaܧĸ %!mX-: @5{Rn ,y#w;s m2m6<\˺Φ%$FZzݭag@ ]R;G gI ?MWzWJ&!r5.klPd9ԅLjfMײ}OSEgk_ Ù A y>(o88 DW`\GĜc@YznDvLlㅍSiq13#]i<:=;c#Ok(+/԰g0 ./ԭH9|Z kaY&@̓.*c{_nDXMQ^XZ[^|7BB;iKj]f[zfIzޅXM'$VtPb Аr=!GnMJ0D @ :3+AIꇟzS0,VD{G82__^lo鶩AXXqB<ҁRR(#PK g= 8C0P`y;x-+~:k9Bon!q}ŝ%]Ty{0 ?ߒ(egSc&@@燻"yTjb9QH<}3՚%Ć4RgUhnNGyv ֈ\61@lLwC']>(dG 3_HD`3o.4!EsYz"C<  &5EH.-smʔƐ dt܃PUE @8A^)/ܙk EBAG㕓Σx *5 QjH=%Z&5*Dڽۓf (Xh/)~kL~aPy5ƀKwzwlβ ^Z8B@ {(ef!5748?a#n,%Tni5KDC9NI'D,KH7r5A$cϯtQL]x9e蹰]+X| 3wQ!r8ޓ=l1'THsMCdZq/A2Xuڊw3YPC jJ!fV rk$aury<rE;$3$B wTrI}HNW";DZR=?/UyG!I,f`k;s}\]QMh-=W=:b,\A{Z=V:Y##K<;f[OTaq"mw.@۲|A)5Ȋrᘓ$)'&8ID͂.5~,3IC/r VK)w4U5\P?uȻr LtԒm4\t &Bhc}Pgŭ7i.n^CFJ`| ԡ/^M'Tj v+*FD} %/4F|gl#՚?B Bc ĹbWb&ƋADUO-GD,ρƒhe㪱W,4I]rk6BBƳ[d}qXjfPy'j^F^FHm30lĭ5OǑ7^QKRIrf<^~qu`v8xma W$A.X`P`)`f)):e%_dz{8RE#Hg1KUqxVJ?;RK8mWu^Q')wpuܔ\GM̘kCкBc{=MtamhR!M,VTrhQ8/q**=n )'62bO`ީ>>gqįu8vr.:ayoxQ$}-+ 0g<ڨYF4*t٩09%F@C&y%‚em MBI g'y/[3f\,c]j5?>T~ wo4^NhMʌObC!Nqɺ3^:n'\6Liei"4x Du}8/-Z=v$z_VpE"#pFMG:UVa'_idfi3_'I_hI.cB{Һy1S5g3ܫ.uыvz DM3 8{TcY.9[⯁2׵bpV_֯g;W"+<1*5|7@lxMt0tT( {[|6 pB+3fZC={kiu6ĮGa=|I"GR9jhoO>{x݈7$qu2]K]D'q%gi!ML8O:LRBoBtUYi.5mGVd|- QB@e`UT61P:\Rx,qR"%PU@'֑\6ԝ#Uxwad06ѡ?DUDf. g(m~ @a}]Reqm>ZY&}DSvH.еVs!#Dv\~ɖi>C[:R|wK}&ԍgR8ltCD#!&$$nö-;췅5EGwJY@ƾo`I&rlI䨢 o9?ku)3*؂w7Gs?O[p0Gc*Zįe2H+B|L,e;!4*]>sU^~GT~ v#6%AV8+#d<&V{l4X51G 8ծ'q;pUQTBFXKӳCi;'β{U044Fa)<nJ+ދcrk0} cAўo]ZuȊ{k"mE,F LŭΖPNd7ϻ|PsGz:gwLA RGm"ľjg(8Χ{'_ՋP+=t]3 9Ngp4;$͍1CCL*/MWsjV15ЉO7$7L;v 7Дڿ_ $%wݎGfNz4,5}&ev*\=ɨ؍z l-| [yjw+n!T˕9W&-+GY hGŒY0p 4f(6 0u | A#bbT6&J(#+Atڪv9:H'S\G7[Rv]/`^9! 1VV6AĹEsc;H>zyQ4.'X`-d#,ZZ,Y#٨zu&?$ >} y6^eB݄Y-8/mm6Ġ4oD E[6lҬ=/Q}#bK40.}N~23?SLs 7rH^FZ2R"ֆcqѻl *YID(]Bz&\ ࡕ""߰l@g4I% ͬ٬RoN/{ ~̦$:@6~>me*3} :3Rd]mN AmL ,cŀa `>,F) ..G p`+ c1GdɁuUbi\AD}0*mQM Ctd7*;2'Hd鍢Mc;=CJ "&AF9hcB@p=8_"㒢#06}Պ23E*ϰ]ע{H~N 8nxB'9-OrYl)ճ)Jwמ7!,5b5>tk*/ &2`O&JǤ\ٽ xސn s\;+hw\ִd:=6;Ӳ3$pcꇶ#VqKVJTn p/ExZPռ~lV;rS) 'MYZO:p$BUqEi+ɚ[^2sfpzKgGH`OO㹔vN3m"קԏE8o2ЇFϲoV9KLKԵ[S*8t4@ ?'o3QLz@˿gHų:[6jϫ%"P(J*5: yzoҐ nw@ECH_.X- I?ln Q,װQfF˨s@G.䂐o 2WZigsn|@}C?[u4(d#(3\~٥C^b^/p6ѳV2v@딯`ޮ$LK9}"] )sר:hr.tG[>ؾ[“#Ź[v393-^,rVe9]@Ln=UYZ8='M4FY4|xƀ@ w "K @X / #D r6>6)k鸝r j(tr"}ϔUn/tjg]= b}_sq;A bN.$Z?DXe٨9ot!/ws `}S#M.n 4vE!6<]ԧj3Ã5[c׉K武n<)Xb|=E{^n$vr0ېnA@Z6* NQT]('t/G~ E@V{.ـD!xJÍ0ߑJ'w}ĀRj6+SUWn#6-I&i:N;5zyr6d9k&OL[.L7%s gHq4Lq>GT5 Bx"O aOS.Ovԯę7<`¤2ݞucTOX0 Fn5O $/r2hTlX99 gkA%KJ k|].A"glHYN7H#B=p Z͓JX:R+\m\Z죕vΕzD-vdO+"#z.Dm3^q]n]m KFZHDyFTW4tћ$ts5 ʂH,t40%4iuroC'˾F\ԥm~*O0ʣ}71t3L_^BNƳj6@cW *2G Ψ9`.8Uxs p~*o+::e;WQ^4J FS i[=LO1RShp3P ˠ}}M ە2IYh&tk"CdҘ?ig}f@UxzSM|RR PkAd  YbB&UbjjO8oʦTܷ)g+Z(ADK\GfOvͦX4UzYIx=D)%<#'Y ,m:a :/.̍ (3y3O-^1L:>-nW'@Z{lJ"ef"y!#Ĺ1x2Kɷ/Y^2ʒi}!y L@:f$-}Ѧ;'s34q+ِ Nu`3/Fr^ & KTOMX,"-؄ xF8\@+,)67gozK4=eQ :A`ns>8e/h{b>݄h|c'}bڞ lB<ꎇܡHn2V/SWe矡ǂBms; y~x:pl>ͼS$V1+^Y(#c>{j~&Hbk~DKEM B/w u&YT&ԔxPt〰S&oʑ Y-_%;¥9g-Tը g_1:" \AZޖ?9g3] FW&4CNm{i#HM\~^=[n( J'36iE,3'uRp+laj8NQofuOmy%ـX(T1r俸}PO/ H~ʦzB]{Z #6Ko6A z_A4Տi'ClS;+ V9k H%N0Rrs56Hߔ1$kfKbOciCOꉷq^2ȳyJ7a tLGQ) JK&'HJd h) 0GRrfS,5bhS։w~]fBPQkv t̯e2mXN ܊N&Hκ:2(% ,;h*l-8)/(2[fnciIruEM ŅvOH8e zt? :8%4x= P,LZ WA^ݗGt.@<$I%V )6 rdI,C.A`s!p Kڱ/S)a:15>`8-( .QƔM#^SߝGs|m`O=0V3#WV#A7y{w-TL\ 3Mϔ6MCuTAZKb-6JL'u*-khA =U ɢ[RG0sK R^z9v_bA a`[AlJR-i*OQ;=x[ְV04\7]N_>rK5xlҽQv(S{l~ 2.3%]x[h0PoLM.6r_tVKL(Q y-ZT{GD آ~4ȏe/Uf6CXyC~Xy]R/sԣMj,͇\UPZ c$:}ƹ%$LLkBEL'G-ȭ-խ* mPNz=16N,'KmYvE:Wŏ5qbDt-IjlɩZhDzij%>| OJ,!69<gMœrw`فIbFEtͅ=؊,t wY`Dns/[{yA2nboSKEb8"ۗؓYFv=3!f6]9gJ|Pq+ 4C-l_Wu{Pj UWjO b6ߩEĀ.*yIQπaљOD_!Jhϓ0|ːX}.<@+ɕ`^v}JM AX xT<ۏryO&x+upM (Tv؋:8~ʎE ֜Jm@pKBd(U,[Xm}3mY,uJ0wLw D_+u?s"΁eĞ)`&Z{KVtᕄE|Jr]ARu.MB}NwD4SI,4#*UsutF:F2$` %\Os"TLW?w2"4̶/p]L2L(]!4a#T7 Ė¯o[ó {6k#\7F=ƘK}T4۪~[Hcrr\KSy"G[1Ϧ)vh PE*}5Ze$2sUKU6[ns5ԧ/=(JcG. G)z(k߯f?&RBjNR=h8.n(j"BPDƧ_\ M2 PgM ڟN;W4qnO#E˜PՅ߷z _s^Po_'wep\$iP0>گVTa\/ xDtXߣFOty§s0eV bi~G$ +î`U ly_ j7Kdi 4Ɩ#WIB$_]ipI{aqؐ4RynAArzY}.ƛdߣ?&ӯKrP,`>Rݺr&*hQ/Ѹep&WTbfj "ew _7(u0-ygN^*CxHc xq.6؊F>>Xb7cZ p@x#/o-=:Rt Ԛqpj atz&ZbG#~-ByQE/?84e*IΏ^ToLyo@+W 0ͣ L d&[CPZpLڍ` \%~6۔](ŏ^u ^ S`붗oTP|2 nSؖoH}ot 7jeW~D_%C,>;r 535b멷qk ;%vZ 7l4$UA;WsA"K!Q7ˣ>AoC|yTBЃ>?_dvsL\P;U6I pB|o,3n@K>ĝ ?VbLpҭ`avh+!M K' P>< Ge=MjdG{W;!.DWQzS% =Yw8d]932+ L*S(5֘,0|qpNh/\q{A7>%K~[3_'2q %m/ψlB<,g7b؎bˁhmvSacrZi1Mi(66ao^;:5sq+#Pa',=v4Ejd3h<h*N*KF}ۢ4d>[fs~ Kt0GMD1K$V(y~unRԤk-,&&$)Hն_(FNJGה q4Q?h[5:jGM un+J 5BXI{gn8[ҟ.$Ox~juaF[R5 U$ .bu{6A7~zƩ!jQJb3Wˍ'AMBt&á 1by/j+T7Lt&DS%}sڌ٢Ѫ>F:x hm&(:;K8N]"EnJ2Mhiʖǭ;\SY$VvRpHA|%OUqPw<J!{4*vA֛A }L9ip9#4 B^ gϦ$`fJz~??u8i|\չ@? ItWO2IEzF'+ 7#_e::96=ޝ^mّJU2nO]*mɬm߰=gH1%)scQ5AQA`w"ަoEs(gm7r0c ۍMm 69%:&5s?GQ29Iߺ5v"\J> EKmSS>;`ײt1NYiNW q˭~ 10pI9U`ogZY8"=toO݀_LxeM`]AÀv٢oVrY, -*otPr<)i@Zx"Ns=R*ZYT-"!aH֐r=6$Nb* ͟dEV$(e>|D O?JRDhmpV0oyl\l\M 9=;֤W )6@>eS ElDɨ9rGAPe+a؛X"fM+y ;&PTH7K/:}R݄P;[i=&"1ΏQ,Pˣ%7ۢ$%_'> G}:wIbl:&0ĿfTPg,ԳČ+V^ ɕ탿4t;QOJkRIf*+ߓSAF17Gj lR*)Z6dtɍlYLˉf:LS<]#.- H*L6 b#CdCKR(z,UwVmw)P Skq;t3\Qઍ*EEw")Aj rĂ6{bS*~~V|6i tt`_3 7tɐ|}}iaukRog"4tLm^wݢ_Ov4LA "o^e %v(׀k*}Mo BFHj@%8QՎxtִzyF`kac>ubA.R, bR}68*x1V` @A ׫i5-aеLmPV(g3%(o=+JbX`}"eDB}aKPb@X\(ӾVZc+s@OԋRqUi,2{pta܎ӟ A `x@]0U0EB /яĻ@Ʋϳ\[A)0. dӆ&B!bq`1< DkV =FX \g |Y. ϻJ0şAz#g!#ZUЎRS[>&ҐRsٮWp!=Ca0qG1 QīNN&4Es6|TֆeeϩfMBPDHYr $k >[x˰1ON @A7;IjJxcUZ^I]ҮGD 2I N!>LŽ2i>G9vK0_ bx wrFɯ 3 !RHt)D4)-L (`X_cv勓ĞJe7=LX[ڪIzc"n+!ao'Ϯ|=߲<ȸd9!rŚ?n2a013Rw^/N. w"A)Upˣd~GTlL^A@("45:}Y% KgYS_$PDh7J\7d,'ޅ|@5sMA '2b:#1}R~j˸Et܁Sj NKĭVM b_/ |94xnB oQ] i :c`rn?|R7d ٮS^IdӇ%KK(zn P'Y`O?SxwF'0d6%1dqYgGqBf3L7ZI{u+گ aҶC<@[вNhΟ_š2`7c0s km{l0 y)mljdH (j\nW}ʓnC (]\8ƑƂ&YMej;O/B{@44`΄6zk )gQ'm:vBBPa HGP!T*XHQg01uMltWL7%F(DY_ }I!f_V򶬬HoC&_iy6;GEC=|A=t7󭓗EiU9MXݭ=> |0ROf2SyEXA>Qb/V1nOUּl {?!f28yA~S߹m,F3 me7G-Q,J-hWK&I3L8{^yCgYZ7316f0b56c6431c8624624bcbcf2a10e6cbe62be0ca3541890e85917e61d4eb1b72fb2facda5c940 aab8e5e46304aa7fc190d3aff0013f892253e042 89e6978f83d6894884fb27524a3930891af11752 8d69627d22c6c361957dd0deea6fbb55573c93db 14f763f0d440e3f771bbed4037f1ee5a3052dbe1