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 #1,L< ]% HOL-Decision_Procs:threads=6elapsed=213.293cpu=987.684gc=86.516factor=4.637zXZִF! ]ŗXf1-q恈ŕ׬[p){thyՉMx{$V;g֍SʑU1x]rNE+u ){L{ 3Etդi]VtC\+VaIMދEd9߮v^JSӻZwtsOnߐЬzu<>TN}luFE!IQ4QXB쌟˼)U'_߷6Dv|uM8B~;{[D"\D z:޼/cqZrsX!Q=:}zzΤ,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 DͱӮIh>xCvYfvxl:}It:zH|X}Ҧ0bx/ _f S[~1ƒ,`jJEϙkz$TrrwVLs}*TNuWuP?q ބVh?y) &y:/qOΦB GpW9ΐ-ҋM]P;!&k>n`AΪDFGcf00Jt`Jyv b v=}b0db^" })D55)-L󶧙e|1 $Gz~%- ģǂ4<[ rb, B@ECvv5~CyyO9S&lQyCr=P[ju% 7DfIjm:?@pDgG.Tl& Bnsv+kqi7:UimEo sѴ퍧 =o3k:ɽ]+ |?]ӫm0~Y0l?uopzsGQ9+&9|fIZZ'iUVt4}1 Q͕rTEIѲ p^P&Y\X(-ĥyPl3(/@:Y-Mnٶ7O>?~+*c!VvT+ׅZT\/AoXi"6KE/2>i A[x&'J2#_ 5́¾&U(ɛwU kھU]UaBG atjh>S l(QaE W̌oHyDa'/~}+a;IG)<,1sFHW}ljQEO釉rB}"8ȇwF+ZnYgAbHj.2Iڀ(䂆9tUSi]`]Z}V[0|L .ҍ@OYyIG$נSUӤ )%V}A~OZ -e`ZZ#A@P. ֝%gU|?\8YڊRM:BS ؀%?&K(6Bs.>?kVH;ani)~C ],y.ɧ`ZNS.u]c{#Phv 9\$G aD1A[I&c=Lj09S#DmBWa4Eڍ -Wp4gm&8(ca'gSTeYl4WPO@[>ut sVM!3&Z sR1e9Jto&3$;g_-5yuTvnZJzdy'_gpt7h9_1L8kwK=D_ƚeW[p[ M(X~"M F)$݇\sgnIPN1  c~ .Uʌ?ew{%AT4 VjV s )vņvrW1;ۛ+[(_\N몉FZB~$ ksB}+>~`%(%H&05G7^0lEex/$عZD xɻ;jk : hI<W/e p5E [HԀ,>ziavDxTb2%yٝHRb H~*Gv|.siR ]Gk?;\;S|1t i|n?IT\ tDWc#+Bs&×U<dR1> g7/M{nV/GI *c%Axن-8lO2{qF9Q*~4ح őu WU krtM4ODjW2GԊQ*nDw}=|#7gBNbT<luRE2cĉh=z[BҼdL?@;oqDGoÀ+o΃uڽt=E Ñ5qH v{& 7_kI> ]+ePr.? bĤ&^J}D(nђl[aJ+4wڞ|;x+R D}^De .볐+$Bg8idz 5m_$eFL=ye`i⦴vPA*P.3c}?R9~AK{fQm!<ũCm /YN{9 X-\F,ufx9T3!angR|Z+i%]sv&h&Tj]'5Ɲ/Wot'K{D/ 7#q?a"_W4n24AV*aԨ9|B+{a P< ͅ3ZPA9ZzS#2GHZZ!P֕%W4@;a2qrVrEu#[ 5t}Ѿ~%1%XaIѺyD@d?/53ϊvGmE6̸'QȴC7mx$gq|1xbQAio'N0=J6s, }T@g r9Qvw=7gcf}Lj\G M;3Ui(*:+HFuH}5dn5w mokMu ipR.j< {2r;ʬeUu)X_g~#s Kx;S4t@wL= Fa=M@^\.(fTG7tEs4Ѵ Z6 ̘&1K !E`exRdj!D/Re0.&%d+ptب4| xxJ5ېG$ <*tCh( \RI jS^AjWP^ja=}U+gU9s8Ѷ8 q;ȕ;qPui.~SZvq'[mQ:a3_%.V9uѦUrH1PWlA IX6Hu}KotF2<'n++ð / 8APr_amSr^<$C)+c;|s2 qi?t '4|Ca\%VZWMzZU*z\1QJw3$A9,R.1!x8߾֍6d{ h&z.L<|*{ <o9PEh2?]VhLb5"\Y 4WM툉$bvjvXs75rbpET2(%ޭAװAU vKĕLm.P*+I>+YTRUȜA6s43$1I>cDN {|&[3En,NZ&BI?zG 0Hv3x.92A!{51 =f1dkQdCo~7?'+nKwT#&O LB{nKNb;9ͫ`?iхCu"rJ?6#>6.H,AYjZ`+ry 8K%0ӨOMɿ̒-b]<a¹T x 6-z9]QKSIV`h-cYUJ$V]A&"\~vΆR+0)=6fٺdO`ٖr@8@rcu}e{ֲ3vlJ:ܺx9A!BïWxtޞn$!KD=P%BFHslݟex(#zdp_ u9d #WVS#go9+R֊ ΍EFL^H׷nL+X\4Z%7 dEK/butbdVVΊN{Xԓy+U}Û#Cz83h8b7x Usԝ dSڭF]03Ft܍d*F70b ѽv=a7@T ,A$9Zq.R6-)'uԕS>vpvzAH&\F ["xv_52WS낋TQT,r#nUX}QW(bl }15QM̓ 7`"} ox'(Tmr dUB .CUj:-"ڟLg8"#u* )g7 "'k$DZ 5:ЧUn lK%0->FV;U~AS6*KKF[40Jxx?{eQmt,FkVH :ruƚ(/3.U9 DZz |>TGd*@zBGkwlA G V%0Sx]yKަx=DMhhK\Pof.fR`@pʨ"Zx7 Kn j(bX=RP8KG}8ae6g:^ ~}([lM RL 33i7@@'f4:,srཎ57#Pvvz`eTÎx6? <ꝤjHP>2BYܴй{e"TfWUU2^'얫 O 8ȫJkkGe &TOvCgm&+&N-p*;+dZ[/hpG[ƅJyT9Mʛ< $r/qM 'Dî3.QKyo-i;-؀疠aB 4<Wz1jǎ*s_ ʑžf-:,l_Zeu LJ;:1F4U ӮD+3.X zߪTK Piw}qg~F6DqLCjCJԼϮVnŢ9{K4>mos#č hD7I ~!{6a2ROdEPmax4N*5-;ۛJ~I6v-B#&*i#bH :Fg8GfDf X1ݻAHDJ3U+L}kShQZW"5!AN/phJ+ؽW*&=6暮H#;ZRŠ柂ɆY!lZ5Q`g=`RI\/OnmRb%r[eȒ^'nd*tp@A@BOXM݇ȅl7&FrF]ጓInǞtD~5}}ly`f3"nBfv8ASE{c];!,MQIn}λxizԒ͖y[SF,@馓U83ʔ[ue|M349HQLj.;aAf98u=~EVtV檲" i[Ox"VB6Cu'(i_D4)(s׆s\jAtXYlSI@Nqd:{m mcwX\ú[O,\·锜Z 1cт3+;E>WpYlmS h7x<F)m+ysZSKݩԎ7G ZwA88ar"Q3F<%L/ܠVYv~J)8^'oxIob;zl*eXo gF.)@rI˨ap[1RHખAI`EHWRT'+6!?-aL68B]*eUiy6zFi~ QwQ5AR1[ĿPBcn^x AKd8UJIHRЃLsIE'=*8t8P҉0nuGCQɵ^^֘8u$%b>8q"޼`g X03Ǯ 8K1ߗ_(pEF;P\֢˧Q~?H\ю*:Rz QOV_kl/upǢe7nճkiO7 "CpZX"anC/JBgJAGK"VNǞjWm?J*lu)qLV!抠 ~d3ĵ{ډ1*U#t?3r8_c:;~q$ٙj/aH_N&b\vRs;B=/}]ID~=黅hٝ,?(꓀桘Fc !=Ӏ jy5j>.Y.91w|LZvzk{&N~j:[;BVlLCmz\mLT[ GńpMΧ{ad μ'Tr$ʒ "R()Cc?ÄDT -Cwi=+(pۡ./~fJnU%!|œB&Nxi\b<4<; fdHH^`}65Ƒ;x#TpK"*<4FZUc~LЦY$;/4 { 0lHʵ?Ʀ[Uv= tCpN+[ewLo!-E~/HoN<\zI_;c ߗ6k8wKAϐPU56z|:$2|,LG=*ٽ|pRW{%Bj\5ꏣtN'I\4\S]+Az4@xmb!-.83ݱPR2̨{a$S嗒MEO!-D7f$dJj,]0 ۣms/,EFtPY>oF}l-mŢ9߿F68UK=®kSV5g!"Yw#_oUy ;l l3ٴU.1ڍc;B7|b# xqXYgEk[V,=$Emf|='__O1݌_ר]ZRHx ]}5 xjoӁOAǺN?5XR_Ӎڲ#Ә3|4%X@|(A☕lP|Ui@OHn84_dw(,&䅌iOq!yH!Tfnhaaal08 6cƖ#Pذ?TT?twWTCGOA'ce#@1vc0AT]~^k<Z  Jg*> ~X=m+tf& q?G`)Һ.%gcaLBnm l[ԏQ3-n\zUmB%8}6X. 1X>gCKOo&Qiz*ISPy^/o25*"8M>uT{`􁭋w %94MQ&A0\Pq c% _1w0`3/πB*}*fEd:sD&1(7>:YHCt]ÞV1rK>wx.g_a7={k79~0\ afSks'ɓ@6?;X zvs=PDS3Q}o۞|~.kQSP}>Z4a^W@O_}1e;K l\%|D`bUhEV:,S˥XyB GZ,t ÛJHBVPf>F RGI#D[! 6Ü_o܂f36`SiPRBSy;f5_^G1vQT씓Z[+T# 3Dm =t C[h $os 図LӚUb2b|m _ ^\}!/h)QRR sȜ`>Oj=GVIRsWua bS iDڼfbzSz*lUŚx O#K&}m8F?`G5K:Flq $/wzojtQb05)ۜ> :Nf0@1ilN `dW$O#oܗ2{/* l%W7`E`h&UԑNO[d\@[`wfPdQ81VJLX^u} *ͿtovVE 3&pV.Q-5N\i+5 7܂2Om]e{j>9r &  'OQ 閔qvhЦoy1$"^Xͧ\řIiEt[ @8F |A9M#2"9+S40MI_zOoτ\:F0WRd"< ڡ׿}6աv쀸L@US]=ByuX b_)sĔd<'ɳmuoUCUu?%YB=Ap(!N$F.15[Wy_g'aMMPpG&[<$wX{IR?|fp-yR83wف?hi3S^f.(v:=WzvAYfS,Qgg70D+kUA+yEXE!vxI8O}_ L\@hW)@ЋQ<Ofob99z~_02o I>>''C*Xzj1h ~8]ޔ Wȕbk5xl:_hܐe-G >\\vӋQI1O6CC]>t5T!qg]hWi%ITf-]L!*< %Am6'NS^ŷ᪪>O xʘuGc%")M̢`Z\! d6T=FUփOrd?sђj(.9jW.n3u `aMLքѽI"3Q:WT!J42PvTnw/ !鱈 _[J؎X44JL/=Zĝ#퇧#]@>;n /+ Sc'|)"pLg7q&//Y GGc-f ySg%v-.ISJ _LD͎/Gp.SSG'hվ? V!'/w GԻF\)fMuHF:5rI~U(v5Q-=yQ 쭨L5IdT2.!\OmPw;Cχ X XT,` _xnSI`V cs1C'9!pu>IkRվV83ڼT:~M.ٶ4mcg[G*͹/`8K1.bHgv<[EGŽEDmGk+A`9 E{:=RT:>7:nJ>q&bn@PXO2\/z&$Vhmni$Hw_X4w#k\6^J`vHΝt o-!#Jo`_(u)WҔfO.-Wˣc ho5Spb>fBcOM庾}}OzZΤr1o/$ZXYL)w-jTVsBQEx91ox@mW]݄Y7}&:BF#CqҳQd1-<Ǎ v*:=l8/ X@_Q'`O@C+c!&CqTg48VV9L% q?ƭ^NGgs oVO[-@UAxb}1HqjK{  vgnRwءXJ_bfkQduэD:CR̹&* od߆@xX\; T%%x/se"q_Ys1]y= nA+(,Gu_m KrkлNB=@KUn\l` H>Aln!/4/yklbd(~ʮ-"_u)#ԴSBRA*8sz^O^YO_C+}Z ,=0[Jj5 :ͥܛ&I1GZ1TE 3q&B;*{krWOwxNC|51(8W߁N 0Ȅi]:ۚ4\E3B=x GfnT);5a>R^8$ (H8YUA`Jis4fQ}o쎂k5 u~QKpu뉪܀zlc|e'8xRָmU@ I]p:pmzo:r=qM>$]SjPߖB\C5%yR@(w!RMk z{dA7j,ﴋۣN6+_4%ʑﮩEܘjLJyJWӑo*) gl@Q2ѼE#6]Ο&Gox$auCc{0ӕmhRT0jfHŌjZBïb9,Y-L)UOܺ(|Ɖ%h΄唪O+ #D>g+8?$~BXw2ud1tڬX90tZls{|}~*m +inu$5ʕ|_p6G`\jfqL0llQ.@ 9<8H 0 m&NSYOkg&ԉͨ{<@BE- 0 jo1KOǛ0Kl~F:! x_M?(^5@x;"2*1oפ%X5W ǫmӏ>4DV;ۻV(X&L*&]4bZGtHG"Š^nPj8Q*⊂s!'YoB-?y8$% Gcsuԡ0X{y&k Kಢ$ O!c>F/ͧi=;|* 8P剛ݯշ0T~ؗ pwG[-F``Hn7`{M(P&o:3CB5PT\ep'VMg#xs,/VWS .H78؍@+?wW]lUo1O$${=1JVZ\;L)o^`+ ?{#̀/"}ɫIl3@B&7RjND.5jz W E#s֎jx[K)Rכ0HP8i5_lyp | VȂ9S)i.VعVAÔUVww몒܍MC`J:](brҰgYڄo dtN aXuKrR.3l 91% Nӥ⏶pL>WniW @Jєў{[Xkbҕ d)AjO<6v^IK4Y$.CӈyS5-{%vYc#r2`=qnB\va+KZ8'|Zʦ4l*^Xp] Ȅ55Ŝn hڅ ޵Swaɥ@+&M؅Q+^9Óv멯[ب[fxv̴#b}΋kPaKЫ2۔~ޠFr6EDo4a#(W4ҭr@"e㘱'+a|uɀP -e|&H mӏVcPs>CCxLjn8>!noXE< u*Z7ۗm;Yo}Yk)g0 텎A"m>i|tx5%`K:m*]$GDWYȟ3SVãl1`js Hwy8ynOvPk;vP0h/Є)qDrw`6>OIF;=ءSM_ \ܯP7ws{y7qt1+M8Zյ;QJ191Q4D1YP&/mۃ >γ!>^o/K ;'W=@>ëHԕQ},@[ ф.U+z >oJ 4`uLjeLBJ]Gms1@; qd.9IZrxB&Ǩ)Dl5/cQϟ T-8+IbpALt:'ՔU +? #*ز꘷t]ٳ\0=kڲ Y_$$C\H %J2Y> T_&WB,$I;C@BOJ;?9 0׀Lg]/^A>a&M<$4_dvr g`%M:A˃ޛkBwC,m &_?)!*E~tMΡ$SJsjmq#Xyb`pVa2~Tq:Qf 57%WڠR̸Pa:* zR l8y}^V蹒Vn ̈ 29b_WCir[HUܴ}Rn:7uܡ<QݍڲrqsY|ljT赤-Ҫl ⅶ |{v"wl! ( Xԑkx$.fBxs׃4RnwK@=~8r=u܉m'Ymv9dVk ;oH%I̾+Q(΄eGK1_;ߓm|'E4uAIz HӤnƫsD 18dY57, H͖~)K'Qڞ˪{x3Jԯ"߿IDME@a'VrwЩ (׊F:ZƮ]x?쩧(qu̻hjuRiwoɋwWO=ic 6uDh 3_@\MD<.u%a_뉑N }/: q+@H.:Α9W\^dW,rH+j(4Pɖ _2[" jɻ\/kW{"C3#bۣ+O` f+3u=ڡƾ Ի", yRcfkzO$T6tk\,ƩBxOTxf"MmW,Ğ휂%PrKX~Ws!R8 Sd}2}v)愬OUj ](NZ `N\77d v 9P qòѲcYg-5ctNɲӕGu#oWf#kGwE)eWv @XWz{xoIJCe KAf4GF̏c7] 7Hӑ Z8rP?eY||97>J3B0V.fqqqap0 zYlI#y^99' Z`N4::q(3t JtO7Q$Z}'qsj]X}s3B)j)ARO4|u=N4n1ۘ W#U٘ B|V4BJ@T\nG9t6^t8a-߅USEy`p!(ups`LqLK"}_ mgPI3Q^-0[@tJ֛I;뚙q;9jҎzWUoۻӬV`pq۪uE\Oz:SOf_I^%y,jNҡx ! [qKۿ{KrՕK`\B8K/=Xn&2f(`T%wqRIGpj~'v 'g/,X ZbЦB￶~V.iXAgiw\00h Q 5OA>O}Hk.=P)_!P~,6L: z8W!ˉ2">9_~nttHʳ7'.i@g+B\vv< )|3/ 4,FY1B:"LqCѐCbodJ(EsPőqf`:a+_{Ԋ2hоsz EvJ;i-J 碦k[Ql.0b#Ցbpsx>AC>P[*f&!S&#ijOٞTݤIiG(ٙ:Řy?'~J@ ĊZfs=6Ϋ׏K=/_ PA#aEd_Ή˰ vΌカ,N͍ԦќgYZa4a786a3ebd88b2a845e6a7aa7c1006a4ef9fd9bf49cf1e890799590abbaffa7e0c5e9c98594d78e 1a4dbad16379fb07baa7b947418e96bd4e956b1b c66b87052dfef831d19a520220fd2afe457db36c 82d11a744fef4f1c8d573ee3f30bd7be8dd2552c 00e147db69e8edf65c57a17e3700a217e450ac88