SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 {l| ]S]Slicing:threads=2elapsed=574.282cpu=989.140gc=16.612factor=1.727zXZִF! C]ŗXf1-/6vR[]\|⾑Th_&SXu A(ŖAlbI򂳩PcV0EX9 n(VE?ZVКu2$`l?"xrî PTt)_+:Aɨ|v7;u}،U;Cp@o,rzQN|+Hx `V*M{}> pz۩g&gnf  mv=ʟ_!/Qz+~Hl'dfBVhxTOP sJ2ļQ'hƅ(lLlX^jH{Hy3ƬuF#UlIW'-DŽIit%~:HU,P- "g~(]zw2`:m/7W^JQeZ3ͮV\'-um\Y!:b?x³19jYRۢQ.6QZwu}F֡'JA,'VB%&>oЉV'T{PĿR4:u&o'`6W(+x=%&;>XwW#,i!<9ɽ[ߍ0A~s5%%Yx?T&BTѬl]wX66^ݡ_>bD ~\AhB?"_Ш)Lm' ޺ br'ÆϴY-odSzOE;NEAȿ ;&ÙϤd)5EI2wIpWMH{f}AD}T Mq7G!4 Xu7nRFXQϞ,wE$8m>{^݂Fl,F a+F'5eYFf|'Յ@fxuF

_ow|EFfW04dN#> AV79Ժ n8o^JemÃU Wr~N(5]d5@1Ubq8ޗ@롲0WROܗiɄZȿD׭V,:]j04% sk$>f?z !F" 5̕7g$uX#N?ӧ֠d27.\,-X G@ڛ1n:~JA%$/jGRĥVTszzˢzxZd \>.C4;@3א>pܵFRow'oD1*DHV?5x%Tc0'Z*,vl). m 1T/G48#l XpGd{I J B37#ܴw'Gu^ G!K&4L_~Vi9ĥEfI ;y+ yÉ9d7iV[2ΦhCdViEV 4[hZ w+;]]"KYN!lɐWlEd’ uKԱQ ]oZ(Jp5v7PkO,Py>9ya򻸰׭jMwMaI}/:z=ZK|u@!7 BB%n]5jʓ#v;{Yk@4pM02--"Ϳ :a)!3Y-\t3 :O;$=0N8p7U;@ڠ[Ts0TfaL5ɬ{:57=]IJҠ%mfUf/eSiÎoc8gN@%KzU5/ T8O23qp]_nGcet%cjfqqEcz&|.^|f!oy#.JI`j%ȈHvUg,ڣ{ وFq\ 6Kfs(_c(~]*Vxt5*M&;׍у   Slicing  ?gv#C${3__ʛSGbM둍@eӕ[Qx; Rw.&Q{Wc@ ^i 8qd is c =\U>ھ=ӘRnQ(4]ycBk^LJI3\x٥*l eiw .@ȕGeevQbNiB!ꢋV]ϜnHLbE?<=˕YF-B1Sq|9Ln;2O@UxSC/R@$Kg0LLڲlT #&r0RlA # »5n+mjN +qW:`w+/SNzD&TM$gN9HR|>@/"!^Sx6zΞbV_nVtU Oh"9eDev L={~8¨X҃86)Z1at-99)@!t,{x4ܞN'b7=w4S_\NȮw5۹j><] izfl >֝Oh򡴍|\[fbKE&j+.m:$3l$o~'հZ3C4x"^S 4orS/tm9CYT>E 7jEqVuaʕk|L`u6̅v@5Ǝ} V2% â?DP}liSUF6~֩:r**sQ;:Ї^&(t.$bO#zָٻLS>`({'gYZ7zXZִF! s]ŗXiɟ쀸6馀YTg<q*1tW(xŃOG￶-/ DmP \x"7`h[j i McthBҍ4%a2, D(,yZm½ {eX74J9kt/s%л^KLFn}:sbl$>c2'a}}c;rw!1ʫy0663쁚3^9): nL߈ndmǡ)-yA^ia &9@#PUȧ,Y:<j9K7[d~b 9s"cO 0_Yo2{3[YWHpbPۃx8@3yv(FUC^9|{8D晥i$sA3MrNu਱ֲ [5~TмW(lnv:!j;7ȋ}I*% Ho.x;&mM2zQHɔݠ\md9H9\ JbuuIvZ_ܞZ۽7!ۂMwߣNݱ"PP̾*VP=)>)gB~I.lui. |FD#/[3I{+Z ~S(5 \uâ-Dz5Pd+bO6C`4Kk6 6|ʷ L, :8f"/=3IiH;f>7H]i#6T} +H ߛA mK]k )MS,p0DtfRrkh;~kn$k]@Q ʭrfn OiFv37A ?Y1uOscmg&:"<ЌwZ2ksK[- amv8^@S&.* G)'z=tQ0E&K{6~[ͧeyS' ,vXv2g\Fj1soL=ik=+cΧ^<]6^/2+zZDqa1OxhhksQ@OD]*GǰAUIzI/3cD82~ R peȍP(lfe,BאN!o=ʧqÈGk&-sc~>ԅ ukΣ>^ܝ?׺3WߒeteL73:Ng?]4@#"&)Ga9#Za Bh1?]ei+YQUg@4V=IȬs]UĿύTU4<"|Jڑ'8\)͂)#6.Bi$R \ |AqcbC5jѧNx36J*>p[._(ʝZ'g#m2w%y ڭ^ :SB kR]Q"ÖT(O-e Ljkc#(YCSQ_kۢ=%jn+07W0eO&<B,NT,kT9>h9;`0߂jFn , Q)Ualb[#h79l&f[+ON2HY i 4ѣ@H}^WSN%8e(*t) #\rGѫzw="h¥ʗ*{ߡm]=mjtrR2`CJJ40*t\ő2ks(/?Hr_+*3] Bܛ6|~ td]>̛58̭Srt # *PUfNS^Mڅۉ9mkCcv3rOuuxq`ˣUBš#| cTctRf, [ ju/= ٷݬKd$E &1kz(X2'Ą[f:NVQ)O@yv (NG;0L 7Hob?-Q?<4φUOfX}RzKJy;-P<.ǵ1EA#?1ྟ7=ߊ\d3Ģ;m¥B;^K6T?dY'Pvd?L_吝!$,sB6q{l#Ģu+UL%V urk]ح$Kѡ/i5X1}JMX)VԘ_(n 7~j,d#ʆ eD'άpQvPITbE݉??'N4|t*,oT_¨o~VЧеȾK7cՎx!ߣL4+ᢥl鑽3a1`ԾĬ>:񹒕"}K_!pVLVjj^*7s*NVs d"&#:\ܧyV#{3Џ!n>#]qOo~8{0M\>D9%QyuĪk(9B(ډfA9mȠG:)q{\50OYGDb ,KD"֯F_"ԦjjM(MLR~3F ´Ƶ%ò.+oVqeˈ񗅸ǖ((ْ[bTvzWG%%OGewi}yr5Ʉ̶.o72iUpL?m4myGuI|yŔ ] bE'ػ6 o|5`it SCw0r6عms[īeT"EA[Wi2Oj XVj,2SsUh6ssRv?rũ#9B7l=YPv!Wh}BIl . jH; 8?6`gR XN*kJڽO'BY>/ 3(¬ʼnk%;qJBWT5h [6@N}huLّ>Pl5aA32QRw>ۉ!N;y|?g̳۰Pْ6"0$8zZЌXyHvffU)m~Xm}dIbMG}@nW;mņ20)MkJ@Tp!7Td&S\InnL;&'Q)ysB#M!̻&kE*2G[s*C.gP(s{Lv$zPX6M뺲q8:׵FAEu`/Ny*WY:zh'J$~Jbɞs5J*f[ei8 nmN5A ۢ:W՞|ޟIwO=n?rWuZir)oQB$":*e\;fHcпհ!G[H-Üh:)Fd/:z/ў1&#➌/P0A~O@Ո1Zxx>B>ʊWsǗ['; {6'U 7LI=RQ,B\xulWO gHSͼ4XeG1S X yᣃӳ[?d֧\^8]% 9?a˸"ؙد&s-N6[2U/C` H~+K{/ AO6sX/?/MVbC&ŎԂ과a Bq uWWn5z|dJS|`un'򡇇`8hpJFh *CxZ%T=hpTZQkՁlŀGS{I(Y13R~^/2@h`[ER| wpDyd 3 ,(R6P VQec/jMZPRQ _ ~1E lf#xI_ekl6-H.;&trdW6dIy6@5ZϑĔC 0Dc)y=Fi6SV,$ϼ_Uj"%KȲDւց9ƞ NfCޓZLz2{0zJ"Z+Cpqk%Yy7_#2kͲWnvIlv~r#lU;F'x^Rs:T0"_ \Oô VHӨU%8PFEJ]*?_LJ+arC@Kٽ!G7}LRd 1_[د; 1.t;56{)xUUbۭe+?fC0j \|SXGc>#ܿxʆI(&jJ,gC"FT =ϼat4Ymw/EY]Vɶ(g#R״˳3<6rh>pL~viYd!A$AygyV %`֢0Ya wN3yj8EudZkA'oz @OQ*+pd0KqB̩ӣMUV wnLJ=,4cl м4 Sw 5TEaYQ=_ #%b$Dyԟ5ȱVţL {;G7Ke4Ub5-QHám 1/K)Gd+eݳ#$Oַ> y2qۇe!4O?4ϰV*'sHXh+ 1yج&"&bNm%͌Tf~݉'C#p[NԎ\1lkp^䰞)at]HpvRE)nj v1w pcM|!{*(_rwoG h@B 0#ٖ1 F[">*ySЮoG%Sų*ڋ|Z8[F Q3T_]|̖$6GWjł@Hs҉eNOTee2dY||t芧U/V 2N[ekh誐z 逼:o 4pFIA"_Y˦GIt0bn,r5z E_۷': cGB'k҄< ï\!,W)4lwkCpHYBonNf6r?Yl uڶ]9lH>%;* sջx5Rt$270{ӯ;+vwo?{w6!ǻWԪ>Rĉ jQxy{-_sV_$V[Q~yu)ڱփ^gc-i9y N$tkI3z[І2rQ@e|&L>L-"g }O`\whdPTckKdr$rF|X= ~&3(} tZIPq%#j"]UOrзO^Mo S)|Xj7Pj-q8 '\Ģ&5nKKez MVGm‡t3e&e7U9DʷE*wO/B heUM/6Α~jTch3*̫]r$Og!tn6u/[I !@\mH0. ?R}⪫NGhe^3q(lgu[{ixQ^D_,(DL*9JPff&7_; ڏs;gI 4fZ`Խt'U) m^̾'2F7k+l7|\&-,f[@Æ[zCQՒ{ijYF8N-/V?ytYcI@msMGj ,!*,7RlƲ) EYj2OZFGT}U˔d"j[9۳vxA::wOfv>gf"q4'9PArs/ SE[!~UugA~Jgq{2ʏH} ʊR ;WFV5}H5.w X%DwEO"nħG s94R'XfȒX$6e?}~)f: >,() ~sp;Q?s'<ù'&$ԙ`۝?2$WOFHڪ^~HZ\X9بgDL&,XaiT>5;Ef=s!g|.Lj:w &bVSTӐ1yK #v{w6/.dtH70[AjzbF2gP!Ot hWQ.)||۰4>|(^{kL*Kk;jX:qbj3q^7/] Rk‚Q'ϭI8d>Jù? &֗ n2v#y߄bYBPxBÿc׭ACXs+iXVPK8YεX18yx )J7)f\,狧nM(tר%M*T%tG12cH}<(Fu>0mwxUt>.:-CCe$qB415_HγSܯ8dh5Xzt s<JyW``khՄVly&_Q-HpFz:DjdU_ mX߃IBClN6R>^`2u@p 퇹WJ"DNpKJnHdo cNͼS&oI[O?)h˝ x E`S`oL`c`wlUSI׎yc)%V~b|=k|y4?kNQfFqn^6qvSfq{v5y]t';嚕<˓pࢌUEl#xy[G#+|@,"ʼn F("-#3nGH=Uʐ tho ` ;JUvhFdujG8}| *J.1%@4H]~G>+#j ` kBP7O?m hު`9.N%r>2A~&9DA1[tY[M׈lKpr0.O/ ˢ&1*ĭk,|YdA;$;JVe{Tشr؇Ѣp\o+W=t\afVIg':`;8@ !3xĖ)ᨯKΨz»x+B*U&0_!:F-v`HUP-hX }qI!-c$WnMn[qUb5>JJQki>d i%C//q$[GXHh$Ď+Rs&ˤKU-R+u1&PC*˃y#ۋ.Ĩ"y~[8[Ii:moYdo@O/tWPn 4E =N=buuԿ *}P(pzZ3R)O: yS۩'n>mQڲs_Ħns#(hYq!am3ͲIUT;L\{r ZOsI#iSN҄x_*H7 +PqAE"A EmW'Uq|XHw+9lxLT$U{Zu0)x) }}hP<}`: *}Iڳ. es`l`ccHD+d$VUzZ 8-a =B@ik²d K@dЮG. Mo3~0?9j'f ]yNۭ&VWP#h'[pj|WsdBI`T:umo5J$! CC7vQ JǁB YV|;ezY(Y޴zyN@3lpOJ@QU&Us]k^}V48O;t_/ldHf5ЍOD2\u:Sp|8'l5#`  j:EP^֤^A~zo;4Iz뷔%q"dJ6f[m/p!,e&s`n<+Go'-eu"6c3_=IU`D ܎T+N~kj؇xHZG"e;0DZ#Sx@o?=;|_dfs5 /I@1 _]Z] Ɖg~ޖq/EEُNJ4Cͱ4 ZzRfQ0֝6ֿ6"v y͈ u؈az̚볜Z8WzU3Sׅh# c"m@ %^ Z\ qzǢixr{]+fQ'=@S%9FX@H%1 olO _|H)a= z>#"05VQzxZ.toR԰Q<ޖݟ8Txw3[Qݯk㕆̆ѓ"!y`εLG(_ 5: Q@TS`!z8>z8W๎m)"R긞#o[K oe -ѽ)H!N^tIf\!2 O=1iPѶwT K:ZpԺ!wt[)SQ/eunnL/2I1;XLzeTP#fTuxӿ%V5G2?>Vdm"d,s/5SWsi0cE16J6z{IjGpӶj+;S5yI@Wbx@ʸh;eOsut]ָ{.y5HbN"ĵpdAg\[TsY@eЛ^'ϖ/d  pH$3131yGQ" 0W@1ZŊdX%;UHzn'd+ӑK;17 M+5 [%RTr&pl2 {3/-٘<6Y4nC^CPIAx %ΒlZR*s>˽}÷O29}aa3n9rSN ۴;I=2eO[ݘn]dWi֗L'XIsGaAĮk1kгq1G sD7Ɂ.rOVJG,t].5{௪M/i&%0I,1l_%!R#n%9u&"% q:ozp!岋q8fH]DE/o!^:`܆U.`苯|㱅(g7I57R4(7 JZxQ#Yc{ׇ8{H)_X0 ,͌U\KjѨF2Qo@dx~PʚuUѣ.pŚaL6|DUN^Ll=o=(:x L~[(wq5A*7q2*M*8j@}T^%ߪ%kٕ2C{4XL4o^#yT譬 UW!aR| |9QY+ 5b-l5TeP{$! &lYX袤Ǹi>p 5M$mU$dE9a&[CRI7x(RdvD8][˧O`z&H*+o%^g̽Ș5V)*Ag{[dmVD!SIs7\DBX"p:m vwY1"G%8^d0X*}OguUgX_-kS7 5#/qKJ7ḿR|G@1@cAJs{b2oZ&}8+AN֙6 :jWBDR*cQΚ1M+no|PeL(*g6\ۇLھuWВͱD(ǦEî(|"T̻f3Ud~~p{E5Y!rPm4NbǤjAN~bۥSp}l$ɬV  5 h'(7Epq;_|L0 9ˇ 3ȸ# HPĵP6;aT7ȫ<OyƁ4G[5(6ROmIhj+0j`$'Wa[|^ {f) 9kr"[)1gpl' 6k8]]句4?],$^ExSjQS΀?غYK󾞮a_lXLhfـ]̛}=*etS7 FSfCh;u钲. Pj$:`T*7 @*yU-ZÀfha¯rP}h~JCi9y4|d^Wޞq[ÂmȌ%yːw'`:j+ {*R BM7c;R= S1]gѧY_n0# BX}?e |MtgǾ4Fq|~ZQQ gﲎ׳2UiqA93w+5t-{|,LhCsq*FpM_Lv(͵@٫~x0e'A^%rtX;aJ<"ɎkMLl܅aY }*I_"]9wq{ǩPw-߶)Y,V]#5w}:$TG)rWx[maE7#іvJJ# B pcNSVOgVi$-='o;=` 䲻T껒 >dXp7U97 *CY'u 9#&(륜--\ CҗfDr(TŷuSD oCh4+B}V1 .hX,,mD P*sg%H(AYg CɞbS,p{F(jCl8ylZ.C QyM)wpl":HI.%#n2_8%%r :7fFPE4nK2t?5\y77Bf%uǴ?k4OwBU9 ?3pv&J-/d*u\=zvΦH]@wvATqcxoT˷5=iB8E\f3{e83dwyj |0`k8/vzv$FZbi~ VKcQ>i'N =Vf2zJPTzhn2=?#вN%w&)eFȫgYFOQUޚk$|_!QlqDr0嗩\_f]Vs_lZenR\_Gȧ&3agKV?wzE\X ^OS"`-5{;32vAWIèSTS͎ELb=ÂR=62?|NLE߂-/I$g/xiE>b*R$z+)~qE'usBeE-؅vBSkt v!ZjD?(>g-5اpsI`]]Yh%:W_ï?"knhGt86Twq6F%ٗ#" pZFL*6TvxeIK8sI |p63WAᶞB.e¶Ɖ>N8qo!ɠ`kS>:3ۦ8ňޘ-UtKAa9ZkpGёHD6NZpbpg܇'@\uHos?eP:R)` ETsOk0nlvJ@*Mcwy8WDy,6 U#FyaD{ q KiWJ/V.VSў~F]I'1§}ޒpD;oRMuz\VF׫iŚ^zѓ' vQDʾB\V\`PMoonrdHgmy;NB(9il 2Gie]D!݃6gq났bM볃LӖABZwbWId sreR ܢQmf\.9kzDڰ>p,|~= uLr4zq Z:!''a-1<kdI"QL.VEcPt}gcbh.B?%6)8̑A=u@WqMq3|Kt:{'#yf4rA 뭈"Qs U@64Oub5S[Vt:C'0I&6K畎i#Q#4P )U)v.*#%o/Hy`!&cY;ā;n +QLt%K[=KVooqħ6lX"ڠ!x͖tO M(c,0M!BN,|~/ǫ ۸_F5o3Q/CO1H2:]ty]οzh7n6a]ZpaMy 'aD.h5F i΃/޿;J` rҎ2=#uסa BYΫAڥ4n{ӟچ/(8:+KHt]h* :*`qB+̣fhhDwo޹b i+؏A'Yh9<$r(`x[)k*v0{.bՑ`ƣ6|z9DZ n U񬨯fqG*("|*&}6Й oN sa}|7Q8ʿNHLℍCMv/PRe%dFTI :ԹGd&nCM<<$:΍#C3Oˑ~鍺-U'2]{ndsqxifһA{9*J_?ԑ sq4n 9R[L\?%8RioI]dQan8<ʕ, @t^f AeUP'gJCbyGY]ᜓlJJ@m&vNt"-*>v,ϴgrcHjijؙ ("rw b/V=; *EwC? c-l"88IJyGTsy2/^-I-~jQH&>! nXϲqszoY-r\/CfViKsx[hYz$=~1sݫ@`VaY |sلVȹ!ɲe=FQBX5+.x1e"JO{CjVBPHTzpEng¬.|nQwb eEi_uW݂Q3ZZg--Ta7W+gr?@;eT>~a[=qrpRX(&tBh2OeWOJZ,uthWOI4oof,J/bOWJ(e#Q (>uFݴ-酒 ?l罈RA]+tȁɊ`~ν;%bD/V$$QӬ_{O ȊƸg ;y?P m$>rpMdNўdGa+h7wv4eڡC_Xsk^%y,p{ncdoZ|«pð٤R),>)z>2(sE_AI̾Rh^<<߿|DG1d-o?n>e$t#\~5'yTOSbƅg#inkX"$lñT(ŜГ78C'KK}ԶV[.xU5~e {K9zk ]LB/phL/V4Pg`hlXc_E"|D3z6p 0Z/ ;TÿE h&~XԑlGGeE+@MމR?7Ղ/HQ]AGL\kv 3 %J 5֮>tfneb{+?d-^cR:Ւ)9"cM_wIFm%'}F1DYC }8\"[ oP_| eb[V#3FHEfe LV6ڕѴCΪO&a׉ ۯh2qx[?Akt栏@z b,E(u(ʶY~@Pgh}`l!hkm#Ӵz:힔kn48zr&P+JWt4iYh^3\>6? ]УZFs/ !/6DSo3MzZIg# kZ{>=4W14!=R> HC%)+ Mc U#bdwbfWW%Y05x|eF"B!gHk%R{( w02syy{H4fPFD JyRe*~~,p!Tq!7TnTZ S{qr`VVSmܚ?~!h\J 7`Y h߃ 5 /n?٤U||"]7:VgpQ6K6xY=(zFtVܖ3ȷ9Šh\02}Y4)hCd櫝ٓ\u0r!p6!3f}_"SGˋ$!̂SlaDIϬDB0"2 [dԣ6ZR*2Wx'PC %~dJ|ݙA%&}N>p͢.s=IR޼A?o͔f+'O2b~QU?-z,{azhuQijc!#S$j˱B5#fj E1FӖ+ YNz7"-eD7)<#A>kRall .502e9]p<>i/e‚uWrC2"'g&AH䈠%#8`ʢ"neօAآ/dN1/\~ F Rg __&5ĞkΓ0MLs%R5¼"tWn YRQ!\.O46ٿb3]ʵ_#@P;62%ls 7=}#/)KN_d)[Y.N PĵK5pE6$P2|)t-JlFp߯lĈS4!I0_ /=놓# 82Qpdjkh^'Y w絽h/!Ns&x PLmQ9֙d?WצyI;V[5%w|ʠlO k3EDf;:@ #̊^њLobS\y!ֵWDzGa-2c65c*.Edy6ra`U>R* )>lưʒw_~Ȟ!JVüNھkt$(j:|G\dt,yR=8*#Wl[Y} .EqېM復<gk䘴Y$(G"s3!">IԄL&xfE=C+-68dp|w& [YN #+ٶy W6{a3gi mԱ`7300'ywZZ$xv55? Z:9zʩ_[EQP zpz#8yTǕǀKfiEpw~x;D]fυykUڏݝjR),Ho*FFߞ42mk<}^@v?\ /ΥNvZmFb[AD (k!8~N_ r7*T[JK5e'֮Wd^\H4;ݣswv˥UuQxȁN1UmY;H&(=<ބdLή03@֡N#u1;]vK[PJ!]os6wrz/@3\W'W[1HǾ_L{:6K L(zZ~pds}4s66{A-Bw AA]'# d$X@W}Yѯ[b]:F݉ZQ]DۃppY- :)m{#MY E9JBtHeU`)B^s+@`b<ѡij%(9"&9m6Y-7Z\#ӫD},e[5xQo- F?$\DQ"סwSz֠o/lD7QE*KTNԪ~{voVВ?)L i<4<+б}n;>'[%rko;Lk N-5Ĭl@}5+[k[AbCDjl0@ݒM:Nu-K R/C!]z i_9mipH~p7xL/?,\|#*3<,3뙭tASEgsp-<&(du#:x)N5G`uo)n`MYw-$}zFCWZht3HL9?:{qLK*`_1`gR(;MKIX^8$Ol 6I"1EA%UcyDRG'p\*UaGN͂}jPLtGZ 6̵&T(=. zh{71\X<֬j>,4ı62YU5Pw~(~*mtg)m4D#$8߁&>2t۔ToG2eߙ)mbTF&|BgQcKZpI؝S%O5TkJ}WgWjyyJ=Ƨ1폧^?6lD/XelHȯ2~ϧfm6₆=Kl"Vc Ϳ8ђk b0'PcЄk.ޯ7K Jq\0­J5~/I 5q3ʹWH`[2Bx^lّH#x4kkEg@NeAFr)e+^=z/@7f,?\yDJ}}Rh0VkM ^c,T"O<ݐ>F!9#AfZ+ԕ\9 <]c]s\ob=`lD!5"? M=JJܐO2TlyureC-y(tg\F)D)ŭISs9\8lt|aR Y[eaTk>iVkfn9&7h %Ywm[v!$MnaT`e77n$x'`4( kx/#`F(I m˳cW "iCzZW%@ՇΌ!/z5_z:2BmS(SzL^[A\';`CoSr*X Vɭx"an( Jlˇ%- מӤ !Rbc&x kSοMA|wȪbsa=-D˜J'~5E2r8 J𫊻\u{̘u^р,/+ k0hW\nY:Ssٟ`qֽq&ij\-my_a],nP /(XzGwWV]sg (]lxm岩:$N֤vUUdOWTlP6#{WYLИ@)T[m@8vB;<%ȅBOÚܸzrV"[L,YvOɍ]U ˤ#PDXη" D[qJ>A ֦ϱ M5ye`ST rXYsLWsP~5$$GL;4#opO[(&גK_{9Fʰb/`(;0|rdnCB(\O U>ñU|bPkK25 @:ێSD@逬G'17ؗ=5SCU,ɕwVHLҸ%PQa.Nۏ'o`wfݽt GQĴHBdb1x<M2z,lqH+0ڿ]rZӺNl)58ap8_Pr6`_R Tq^*O31[-vNw¾uڢ{ O<ӭA Qx"XglSQ?2 .h7UN,mh};t>qxZ'!В!&*LN+m3=TF,ʕ_/qd~7K VX8v %r4WT%O;34V,f'?Z/چ jJ4 ZYmISe3ĐN%45RHbE~& ϛ tCtޮD}wHxv_o+laul9FTO۴<>;[ݒ8{_F> 8 fܰ-1s\|5t*#㯁zqROW,%({Aq_ʢ֑Ski-?~/Х Ż!: y [ + ̓ {S?ЏMhpI W?Y!ep.nxn1p:,dx[0 ZlRCPk@j>o3V2 ;w80lY:suטTpۛt6 );KxrփtM٬[VvcR T0'o4]| )zh6EI,j•gYZ32badf6f72d4db8b5e1b15321945dafaf9892e32a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 70e4412ab49462e95fbd10fea3851da342668d9c 908a7b948939faa10db768ee9876f61e51d4a12f1b925b35d2e472f07ea4ef415a93307d8394d85b