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 A1t\ ]% HOL-Decision_Procs:threads=6elapsed=223.688cpu=1074.332gc=132.436factor=4.807zXZִF! ]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓ޙ^Q,pGn-`*|<#3_Wi]ku-q!VE_㷁g3 1M6Q_{NSZ|(y:%gDy0mibN&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 ujC+i"Ɏdz lϊN(lo}sz\SkOۻIl5*un, sWbB%nDT$Л%noІDbp:SDĕ~U#c:XlT.q87c=^]\G]:R 9q:6Yu} M /b)`0(|L.5 Df-k+)A0e a!G])IS~mΝkš~0@3c˕;Ȏ(mӎ3bd0̪T\B_ZoI'RA!?[\-h96K]=TY ?ci!"ٻ;-MP̮^M{\hA"Rg,kg)*c2I c dV wRKuI'ѥ)<? ܀x4U >Hƚq`ɦYu(t2=8D)1ұ^]v"nc+r pf=-pF h*9CժG^igR#0xi*>jRtac ?Q6 ~W%YJujW:=UVk<.v*|hFYQ=^D0$·ps~sҒB_* 0cjyQnMߐ5$w(a%*[IP&j+W}?؉%Rveid>!1+J{jw-[̰uRmt,RD4Ϯc%[T昀|$a!OH>˱aV4vtX=Lw'd,q l",041H؃݅ v_ndf05/). jxS;4aii9J;k!R]y{oc)lhgl&_֙\6f6 .5@p5vPtyр K)!)aN?>v̹`lAS^!N;^ۤԀ'O&T4+YJ]}H`LN%ZDFf-~qwBh{`K⿰/ AxČ .K{~1,qqEJcc^XO!)Q$9 RG%qca69l=,&q5:P6RwV׊>-~uǖrΖe2sO1J$tE}b711Hd= cb\蝄$!N|F(!#.0$!~B$j2!U|MH1El3Tda܋ kZ@Nk&jF^ػ] o>+V"J} ?Q"Mߙ@p\R@s &wD.Ч7D8m?eȾ'{CjtEEa c`{rf̘bȵucSC5T(R"h? OV_ =Yc֞Q upF]XKnK)Q@ +$煿/3,r: Pq>|Y>(+taͥs |W#H4${z\nEo'\N)ȗXu'jW ?qi @p6)܆=/1f zia$zPYcQOV2|X`qCE.ׅa흕 _6WZ#9Z>T S \gE1P*aTR6A$қWL;cxQ5i%"7vɷɉ{ ʋauHm3c9^?_ocwa3 NV..&&C asOLo% &#Xe@Ӹ{py*q 1wu{f6彄SuȑV>qc4z%uX' ĥs4feƱ@`i6k,d;DVȭ$Y)M,UV +!8@ Cyq:Lb+!7jY8NNU Ғ1Rwψwk.Ly`f*ZG%˯5 xn!%uHkF*%|R6V-!Ɗ{ozĘxTآ8  b-]EtdoJg6n>yo  2HU)/J +mX[#Ie=قs*2a\O%v4y@Owm>f"nEW 1ڪ;ZYJŰAPEXZ$qT#ūп! v>:¿d5wyxeB2ɳ[^+.uMP> "%I(DVF6!#?wܐw4c7?Yn]n8C )>) 58c`L6 MgARXN^W,T`Pt1oUY46BtD[z*e7WG .\JO]~?0LY|ln&K {x|,rgX2' (NέDE:5GaIҴP` bb¸C;#rz$F:e@v$$7'eq+D3fuEXHHDyYdh"P]W1`f/9M1 ?yGP}&:9k:Pɇlb/fe=xfY]ȩF['(=t+}C``bciZrpDFZŭi-֕|.5 /"G} b3H}"9*CUam-0oRY3YҌ -9dN{ǤE g;xЗ)ϑN$@P ŘD"l疪17RtIڹ*7a>k_P(uo[LrP* VYgDJa8|ƄO::3Aq0;&fvA8̐1d|diF՚tbZy"k{xQa٘Ê:@E ܮXEFRMu!xm}qRszjf' |bcafUKbg!ꞆKR8m'Rס{GUnDZcyN1L!n qG@/Q#ʧ!!\?2qzHs+d#! !`v[Ø=jZG ::RZ%;8rJvf篆Rm*Iii,*֪n9ʼA}v[}nXWqu7*Pz;`OK,>K(Io~ SIJ{ F4l 9vr䞅3g$\Kr_⻊Mg!w^sy)O@1>5̀ɒ:sVЋT64) vuRxtmQy'OglEYnD'r7p[՟?-'I&-&W]j2TsE{bpn50Dj9>QC84<5u_&5<)(ۡ炑V0hmj>2R ̴ǖ⛈#szB=^r3T=v`~ΘHY7/q _~AQ@anEY ܠ)-3hst) R>IY:AܓŴJL1ӫ:qv!,/es֎YY)"H:;/Cym@DBˉivIn=/7 -Sy>4,1Uy:$ɿDIX+,n G S/ nAVPNaDqL3dS7QbMXu5~&Z?fٺdIćOut>s KKWSu}d7x\K ].CB&>zʃīĒG}qu_-[}vRkKMA aU}WK<5UkǿUzΐ\6LbW їm~)bsG2VFj I~v$y-Y6pf[M%2)[xT+ %;X/<]al~hoʨ<< ֆKx1?_Zg-@C J*/v* D-0чoyw Ip]7JZO#V#|Tx!۞ֽhk$eɶmZ5jk6Mh埓JVOÂڐ,i>[nw!,(I^7Os%*H:3D|Z?p#B?hY~IuqwiRMV5 X\$qs(t/IR gYZ7zXZִF! [-E]ŗXi%L`q" 1|!T⤞eBWYO_ OŠ`IA7p;Ev0a* ݸ)Ϸ_1 Q$sX \]W VIܽ3V?W$P;5R;#-ȼd 4aARy$9mL #֙vS&XEWPOppv:Y3HAW^M{2, v?]O#mbEujI.&9V B4Ϡxv-ҏd 5r5Q}2yh'7Oi;Ia*1bz|jhB8kz?:F֨{3 kd^t䞱pmbb^XN>ʗC=/Aw7gD;7;vgkǝ3mBY=u>Q>٥o7Ԕ輦E+ןCU$6|\Ss0-}2/&O3sg..C;B:p})k[Vk|.OOȳ۫) yzͧ0?mفUIx$G_ /L<|E&a(532lg7_0h-0gV7p-v)2?B ?s3bhݙ3g?qOfE۝(V|9HPk|YY8!Br$%& z^JoPeѮDO 9,ʅ;+6kR25] : :,=t#(m (Pm`3;ZTx'*ZI% \iZSQhQƳ͓S 5a=ٕٹK[p 3WymO2H`+,?^ < Cό8+op0@͚ %څR|W'?Oc#2:gn(R/F]$LO^Gc6ⱧwX<{:-?ybUZׄqs_&4]_[S.L%DI-~Q՘ B|3'ߨ+Lr~u*׎Q T=_! !|o(MVHү}DbY"7VIÎН]Ś{C0&9Rz?{`ή14V>wGx `h M>? YdeGptP.E)}Er2r {v* ]BKE;#'J=z4)t/s4Qmpקgo:V"XN,{ؘ):j'Mo(!Fľ-(,|5CPvE&QZP} 2.c^B4 :`dgG˘-iG{?> !4CX]jFG F/uYD'/836LrbŴ:BzE|3ZYK0ZE\R y8Y!gv#qxl8U2QXtvq;Ufe&Ǘb W%Y\,s] xq zQ,U檏8xU75ei$PZ d淓?˪€eY_fy+5wݡ%Uac@M>[#_XmP9n]$!8ul=]8 x|ǝn[ Cѭd\ѧxzj¬[(zie%7ܐm.-< x. *0yEפJ׾$1ZkgEdhVg1ܧ}-5?0\$X=,dӲDeQ(M8wD͵X/qJ 3غ-ԀԋSlv{+bD9:cft2|#ϜQCS"T<(btKπvkH Yjl]&J!h.7ZxEbr16 g@ئ3M  }%nnZPk79ƺbgKŽR{3?H 堶7rw-A|!~cR +#;}|Ftu@zowYuA-GmCeOA\w^ːݚںqC`m?/[V~ud}vQuUZLjetg*v#㏽6՜'htc#=z1Я-ZEg!:wa%D2TDA 4.GĚ4 9 Dz ut 6A:>v6-E"nELD낞o]+eFT2cS*Ap_!U%dRS[ʷ@L7aiF5A\jh,(GraX.Uk>cy&獦Sq/^ "ԣa"`L0l'C"REŞ[b@dOU$oj1\;lH"EՈfFvTȵoC8>4oupF$'id -/nt:1uy߉ p [)R;PqE]igXT4KI򺺨Dz>j "ّ7=Թ}|4}*UnSxה%V e,O՞\_OJ% X{!JM@&K{"i̕^x#qQĪ[!P9E[-)4bU ]wi&cH<̼@KȀ}:WCtI޾dx3 NÙJc}|>pofnb:mf FƄc2>!ب~5qI}jfX0>Dw* l L~dCۗ_1t&)EQq~E(D~CYGm)Ӷ'|!Lv .)1AT UX+_a+ؐx#KCAeT϶pkfq|XqRԓi찦ziܸZVz]R1;Gжt|e|v k IYm^Ec;oAf*"#sWCf9Q-}m!@epQc9k݁h Piu=-d8D{ƨvO$+sut:rhs i |鹮̤.|ղ0&nj`BA&)m{"!Fdn~!JaD+ *` (a[co-⛚'}:DpjE GR/]H\dRzF8*s .UW ˶#P)Ç}fg\ k} `]rwj{mlޢ*.s=o濘2خa r}5pSV 3q^ Ȼ+r- *v=CʗM&B,kDbS+OD|}0R;nK G E  :*m̸(&C[W^_wk~a OA̚7: Hyvc~8qCUCv ]( lVwfzn֒ީJ[~Mì̘n\:Lznpe,}ք?$@Fۚm Yǩy vGpR\4@Pyzu* |H`Ah5D0gc}p4L:DBXf*n__xOpёx1Ҫ @{%@sk,/o,xf:PoB˚^h'fh1s\Uzͼa|:$tv we7zѕ2T ^J 2;Bŀ}  C_uhʑi"5y=e}D5TƔlm j74ҁb=kT6hN VނI/4l 薳c0dĽ+'-l =2eVU03Wt%i]WV^^%jB[kswCVcj26|܏p_khqNHAm+\ DHMF-Zt5oX޿qT&-,,8R>5ʒ[F䅬4lvi\P($*ZK>rYBXM='Shj19%x[v6v2ZbMq3C6QhAֳc ͪ0.2G^]ف s2'Н4Z]ryyCxZ=^xPl(V:ɮ/wZfZzk̴_`c$zռ[$Wf)]?-x˚QKҤX'#<) MU\` w" vFB(/?q0w1_`~ .@w֤M.YPU+.ZB q [~j{[xĦN/k:I';d}f7Ş*%mԈ  xDbm*TMX(lġwC uz#l_rj@*O9ߦm3ae.s\ CacOLտ2F ~ vBd:4%;g]\ˤHv4DaStMC;i֝d*P ]aw28b `z2 yK֤ 9\MpD?}+t5߫no= ijr ySApf|xA7\UB Ƣ|쟐Lj$M|On2뇳|ttKF^"k9$f朠 ix`0]DgЄ9߽81贁Xn꾮-z!iuWП#3tӽ0ޔ-OzR`+3O@'E[" a1n]]FiXVy> jڊ:S6Ąvo8& a\,גhIZ3 6 ,VvpۘuPAZ[@H\5i)e;Z$ 줞BWkA i(_0ϮJ#+@| IV~Sb0yxCx? S&Y7Ř,l`627V'kkOEV$hs:#}SG vwܝܜ ӛT Ar[ynm/:)NjgbahRAql5Hgn0+-6`(d[-*<@{dX:N.p%)Y]CX3KX] ֽF2#O#b&h@g7lyYyd_s'%2Z0wM$#A Q%P_{Ũ]ݲvBkW-]+1sP$`w5%ܻk WC9ŧRTX-\Oa̻xJx`A/@DUtf6OVO.TF{QqQr,xbl\(N̙lI Lę>/;m%[5BAݔ3a(趧k`Z~}mb߁˓oٚ(;~t<MK0Y$ ge=hZHp4 ƫ 2Rg(z>$ O2ņ/Fѷdo^Wɟ,ac&Z7LHM$t{dpZmG<3k _}yp]WYXaܱ_Ĺ$qrL_ ƮI(V9AqK@fby 't Vv{jR=̵ׂz΍X1b?x~ ~~ߑB10G6+m1PMT!zE (Ϻ4ijQ;1<"O$z!u8F\ЃLT`Ț~SUQ\&&"`3KTCmՈ$6^ ] S Ū  vt;' 0T=-b2yIF*؏t)VR(GK7bqf +|Ӂ;gRmmlK\iѩ\ө%GlOO8/YJE<#,fqv,[Bm_mqqå? 1֚/"ZCl9˲pzi}>fC+ڶ;:].xQa2X`ε R%6l9ͯ, "򭌆+ Z~\uϵQLlv(nC5պO*ZoE= bu#W<8 3X7.yDȁb;ݔb#02Ny46پƀwZlkgR=G\aN+:Y7\ru]z$' :vC.!'%K@ĭOvB (7L^r t8no@n *F :߬?/Fh!֕>6%F):fż% WdaP*(ET 7W0宙bY;׿>z_m%iCYd ɐeȰ!P)/"-m/_>+t'RIqN^h{k?d K,\] ޲T d:Ew.q1^#<|U׉7z3]@T5>Ʀ}|z p>kU2z|&w4;=e"bNҌݤVئ879:+:Bjo."3|1 Vhs]v&P{: q;F6T"7]'k_e͒ ƶ5]lJz\B5kOB`) L_8Ƹ%~ Q;=<:˟eIS}yS+*򸏑5Sߕ3ޮN b+9p=!V$*~* o>'O؅u?|:05`-ֳ?Yo9%QS6:K먩IGyu(J~u.+kWn9ϩ]A8wj,4#cTJww=/6g/)FLE2YsW [ 3oݹk*ԻV'/C3HmbV589օn$ Yhcڻ|Bovå%e'yvbzˮtkfvztN^w'y! ԆtXhsXYȢ e+F--ۜ R3!uvp'6" ov0o?Oʦzř UϘWHזϺEZ.uҨl 4Kau&2 kŰNROE@z2&1_g*!@\j2 [a,֑O~Z0h\d,}s=]MJw Rg(:at~!,=9Ym 5<Ϊ[>do7 fO2tjn~)'x+%d'M,O87RqeكQ6{p =A~څ^1 ?UџrHO|[]}| p=Y\X`8 I!mU'@=3`eqG=/=3~7uK&6'mz(3oy b'~YΉq+Ucu ~t&i/76KrzeAMKdxCrcBMAmXˌNQ<ïc]NHXT=-M;>AR[J{s#dR0|  #d{yN6fidE ,,<Fsii|vE"wIH#wG;iP"~Q1c`0o( BD\rtaXRwzNW pj/^n[R4n.4x iM:8OvgTUE)A@~cu=a[`j86u5K#VDŽ)wd*t)#%L&5eoZHV^D/$ 8 sJX מd6.~ j kUus}]"Xu4m@`%@EOUfA*0|e +G-|e'y>@=T ׻ini48UyL"A$W $MMS\k3ΒA- Re]>W^nf(L#R ΡA!݁J3K![TzLe x RzoCP3:0$lKo"N Kp 3e]i*r6~}Z࡫"o|4-"҈`v?w rfܙ3c'}F3 /WzMz T;\`o b"]W'@;֫mEM!填p._C8~QOGlד$.𑍭u 7̑P &{6}Y cA $2cZĦd(6&+"[ 0aPcBWw(#1UkΖ(Oj *@w- UoXn=ܦB)=x,AVU݆qf;kZ/?bKwc_[aXcgl}tFLy̳9ʰ581]4q3ȏ.aJ}(.flbYiû=,Z.`sV9xw"WɶO ,ۙ ̫kQ dGl}̈ 5Uڑ@8yO^>eV6 Jq s{|em FZ:}d!K<V*c;;6GH9l> ˘i*U1 1AKt4@ FHb|4KGVj88B/z=mNU['|dVPUQF)}Mƭ)"tׯֵ\W͝Q -)@:epf̆ _| U+^zx!I%[j mq2A5*OU>wO g9mceG_`yW˹5>P'qAf7cRloѲuTw` 縪Kޡˋ]ƴu1}RZUxn䂿0<%Ǚ }*TY&QA8 1vϭ|\Nv+váL֬0ـ)b5d>@IL &aCGy^}PwG).q1;@[M)%H-YVC>}LCcȥʺWV(3R/^AZVթQ3ɬ0WĶ<_E6g wu|nbsQSw9M֓tU2F4Bʩ_VwDa7U[Ԭe'&_ Bk$㮦C}G ts虁SKpAεGu`NxaN$H ڕګK Jv5!P&;Y KWEX837]𺳓Pz"WcUF:Bok%bxk]^qDcAu"rPk/9nf[MAzG"aYOl5G76ÅF߽b wVJCE+i()"^昙 u ; 5>ٙ\}9^/bHXx(yɇmŇJrrz3s1ež6-F c3ے{)mM/,XeClf / $:8j8Y]-9GBnQM#xZs41-,}^}x@&: 3=fZ\itg\-ZTEy2!,q6uJoyJob*i] qEso9]( jxZfiwMP9@8fL)vJ87x:N6\W3o1$L! AGk>% bc'Q$} fcքp鉴$Pq6ù&a=S f|l2Ձ>Y'翟 +Ԗ~O% !,$uJiA*蝙1w@=Wn=t,14;m !Wj.7B2ou6IeeaYQӢD zTUlʿ&U|C;[L1!k1Ӕ? ػ!f&T{#fw{}%Vwɞ\l^r5,Ke"r~LŽo{4L㑧9c53_,.*Ӑ2#Zpw!Vd3ҽryx8T_Wa\LA] ;;U !,1Ṳ|714gbZy^G)$Y+ QXf-F,3X?2/}ޠ NFt, C{̜.7*ADC6frGwGھwGHUf90' GE16c,q?}wtu{sm@b gP KȂx d3'hNWp:ym 8ohb5b)7OM3'O+& Vz:ƊZfrɣsv$s8+o178 :fS<ku#H]WB^T^u\`XkxZIT&P4 ,I3( vłJs }b'iY1h>FikFjgSRfT5sWzE4f\QťS ۴U̴* :Y0NG: c t>"C[=Z:)N8|'mtnmG?,%Ӌz9Csl'Ԝt+2ꡄDGi(&wC:.[ M [".'O1ƽVޖUߠH3w*& /n;gCk¥lsԦY;ZA֋Ы` sN՞Z^=cl<F"^6.--kcj8Jf03Z[^:ɿ$:p aQ }kInC"gv$}'9BH&ZhL(z)ɖegxQ_C0FDB#x8m:ܨ G]L(廟a ͤvM'U JjL:$O *|8ejǯ;Bv¯B>HD2|(oM6CXɲ]4ہ1ri>.qW6D2YȺShU1isT瓬B Dh1iTԗuoJ(PvmFHTD!jN2hWS5&М/ (gY8PbOBw]vey  l-$^dJn&/0J"]ZE 轉&)˫FvOrݦ22SG3!=:62_9|SH":JՐ/oqeDqߘKhxOBހ#_'\?n)!j:,%ˤ"ՕE5 #|AZe|f(6]52iu5OiU%>ze+M%~0eEPH "̀On ^*lUڸ.a̱Vi-MӧV٩*nX~8`2NUy&Rd A߲ߒ~gu|4X/+ P[VIMĠְȪa4NoC+ƛ: bJ uu'qԉ%fn@9܁k \&V[{-Ɇ~:D x 3׻&I6!6 +i 4y>֩VdgYZ8f37a07abd140163f1160f8e51108cbeade146a2965db9a9fb2cc4fdb5e5b9afd24f7a9ca9aaf978 09960ff509b80e2828bc02044118a5145e571ed1 5573373c939a0f775f3484d5c04f9da9fd68deae 6377908bdf3f2b71dfbb9b65c06b701a15459784 f5cfdfdcdac0a2567d269f69bdd66c613cfa9350