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  & &.)L$ ]%]Groebner_Bases:threads=4elapsed=337.620cpu=1191.220gc=131.072factor=3.537zXZִF! p&]]ŗXf[&sݞNş"ր'RB3ꗧZ߽1[H_%36z C '|С ( DZJz=T p+` C}B?exE'ً=W:PVjfܯ(/ LUl>b 1Uhϊ39z#O ㎠VmM搗uiSKx;+: 6S~׮nOd.lߢ?db̾AU[G^^Kr cR NޏL}p)bUq8fbO k3ֵ~@y~7K$GwPbSzbGdk DfKoK F=DqU^RDI4߈ٳ ,D;Ctv lCP? <*ƦH| "_[w P+;AN͉V*0ūՙemYJCoMKBۍ!,1!9FAM yJw6AB‰{Q bXnn"рw#@x\&7&g}xa)}nqj䛵AO#`Xu3G+sc” Ý0zdzUq q:*˷:f/AxUk /1ѧ[Bmm^,{q5J"wJ? ޛ])-åf6p,׊Nrֈ"#vd}(d$R^{r|G:䝧bIP2 D{/P,sȼzqQQ+8ʦm֞ թ{ң$ݱ\DtCz", bV噩emVF6 ؙ5Dʟ/l6Cv x*K"TZ֢`+ .r^xc"ڪ WsFTMK}ϰ!etTrL,cY岲zT}wBՇ7#~3A:/E 4ǖm)|lz_XRhh l xLv |$w^nB`bPs1˗_c B > %;(`r3z>wWH$Zg^-.PtT{fni#-{UiTFp駥Yy/ALBK=tlSMh~CEel]i@Tdyt^IijWjts UR<}vpU3LZkTP'&LÖ2k$:'qAUW!^T1J9X).8G5TMmfv#}UwdA4㴍!ދ ȆCsi0#Πz6 2#jLl?`53m?*H8WtɛJ'h;usa ܩGS` @5ƟШ^XA;(WMLŷ=/9x||X\iw2ؗ-}# :p:ƻ_0J >-aW\sz7e\ q}vHo,8ɿv̪wrPIYk3I3EEd2 a JgcĬF+TwJ ǡۣ>ʏhcڧDD7>}>BC9{[T$pj#T|fik&в1tyh¬m b/7TK .\Bh5 ;#x$ 7 CUqII~AaF؇ä8?q1H,{M3d{=LJIOG- &^bBD|jf$"(ٙ<5śʇjYN~kg1,ѯz3ǩBY]]SܴF)~4;|lFb y!ꗼƀBM܆Xh*}5?&Es"N5{D;U=f]p@(z F&:$g\1l”pOY¹S+O%) VhEbH&L1KR!ņިq||%:JY8qZew>m=zCmL#SMRފnb0yoHo畹CM'9T~CJ_bܔ <UڒV_4:601K2oԆq2h g9NLA)}FoWOl=Fh7hATh1d@Hwg55FóU}zolPZM[n_B~+_<Ԃ[Gʜ}9 o/4[ E1>N/q}_i?{ER _(4]Y#gK0@ְ_ρ[*H I¤[뼼ezY{aq*rD5hsLq+ʩFfAFYilWZ2?&,'\ot1#9Mг4K-0zƲBT5^G/qM{O$<)NUJytX6c^RmYjY?LmKMR~ B2lJyɧ=+sɶF+c*DADʰُ%Pc!fJQĩ0R H;Mqo[0e\nX##>pAy?@թL5+=<_U+/nҤ6A`pGO1fsi5 ڰ‘›V ެvv3GS&F}LCg+i6^]~00>a- ;A1E#=?^EUW EM|tݡ7k-K=vL 'KvL&UtC^vk)ʟjYC[z,wҐ&ݎE.G˵߆]+KM@ S~*PԞܱ7g;tqpi7vry+8CVL%)гacd/CW rE n IH$;FV 9دl ^.Ip)đID MvAc#Bnye=EgOR>$_Es'[ F-eCI $iy}ȕ7ʥزSMmV h">pX\$D]qfQh  jԞq ez!~Vj)'UBo)#NDd %1wsL,>G+gi."C%$"Ir{rP:<٘L׫P-=8cl:wA 1z "_XzP4=9+""{'0xľ\19uވ!bD{ L6rg Pxe.My-'Χ;lS⑝7Dvb^T=ad֕S'E97p)8uTvĮl1)Hgu[!{l]q*/?i}s\ƜvE/sj#n H}2}t=Dzb<%i^ X DF* )l+G? `_W !:iuddW#6x/-U|N]0":$C4ۉL'V p2*Rhi8jp2}V"?[Jl+[ʢ9_@s}/ǣDg՗LiLv7eIIjFn5ZV 1!x} ǘ~H\O"Zұe φcKrGpLMyC4{( %X+-~l.Oct#̈Z5_ #'` DYfQ [6UhmS&amOt.`hcآB$ÒAL徛 CHEH0P~ҡzqﭦͧ!e:>ʖ/>PtZFAX"]X & L/1E=kLGY8ws8>U9%*!uK@sdأnԄM:'`9k*eMxlRW@bv&8|,@j";ޟڙ VmkJX* 5;kʖ-z#zUJ8*7|_ gϪj;rϦ*cKpNdopKD+cf㟯ڷ8a:,ĞaҚ# Uj}Ci5KUZ|ʒ}U/e7cBkdI/ ]Q ,/]PKŘ=no]nް SŋpUx#4"݉IpWN̖DJ%$X<#ꘛc[Mʼi^x+kH% 66@}:c|& fFX'9Bo #Uh3V<$>Kt)^|`5e%U5e[9Rh@zrh6/3Fq@n֜/CEO$,ֹ|g2-_mk39ΒOB}v$H[oH%XEIfY|Âs{ ;?(m%sNWܻl$rxSD]p7@'B d_B |k-SN\C|^j"Dg K ?o)H"_@56cVݤ"qh0zy9Zqq փ+id0ʞL^=j|3wHwJUB=qy۹ eNc=r.za(iћЊ͜A),Dɠrʾc=Gb癩΁rĵ 1yiι| `E}qsޱ-DX,H'&aKI?yNwdY*T Gfg R8CG "7f [ D! |kk_J2"zy Ene#B# uR]j@IKZ5e3|q*hh}"{;$*Aa%9Q%3"7, : zaze^M\e+;#0$pȡ*Jvw(t6+1~h Y$*N`"XB2E"G'ٔڮ0H^YP334#* nCBgc=skn*prrgnykOStʮ-l+hs8Y NiY}o$"ˌd6f*U(#^TO$.ՀAEԘlee!j$@"W]P Ģ~q&eW?73 !]1n`s{ SjoK =t,çˈƯtW4Njn,9.upEAl'v` ޤekRt.?0`:v@bY",eT.b kz+rpn#j$w;7d92pí`3w<dn?%zK6ei9Z\6c8_`J/D#} CίQL04f$b l\&<]Rba.w3E{(W/꺶o8V 'ۭȓ`ZL/V{ZC 17Vf:+@Ȳ=+͒CAQMâV}.5MÈƙ`IMw2_噼8bIPp%XaĽ>eQ8=36"eńj-GL'A-vuש־yT R*'be1R_Sm9pAϏf mV(G yo(҆4iؓ5= S>Y*t3*˳2#HY~]pTf+3>ٔ@>R3[1b@M-¬6I ĝc={O_ŨH!5DK3$_pYsۺ6 ݵoڠfbLPݐۂy|^f@S?}(俐b][ mCQV2=1Xd>v5X~16; Vfj#5:gހǖ#`CE#b3u8RލDްfS0{a2riBd)ਔ_KŻnklU֡YV-X N8 ljAy4_B:Gdͻ`눥P>*a\R{!pT+ &qVOCp3=XҾ),j -(v7 $ԌL/{Y7&eCx^f g?wB"_l[$'Xhcز%#g֢=|]m@;W[؍>] n7>zicHodE*##sprDVhˀQ5fX?y:6Eo\͋k5;03d5 cUݖF:v69Ӥq&bN6h89d9a?<۸m \gT}6YU:j=2k5 XLJ-#D飡=_źMO2 =*@>VkC6d40i`w8D.].εdۋ·՜)ĮY7GrO(;zC1S4$2~ G bΪT=sIǛwD-1:@ &xR|uV -X: 7z^/4ɷonfyJT;œ?C*~x0 CFygB*:W7Gx`f·Vzça͉^gJZ0N@Xe=F 2 ϰl?&4K_WJDjDe,Uz.E|76LdT!_f>i<Â.oO#L恼cB"0 h)ʬ GVK2fqͷFdC/5<6Kʔ 39>yC4Ek]N:,`7Qd Jw\ = ϭ#WKrF|#jlhXơ__ٍ-ntѩj(}UFnZ6 ZB~t ]s(3ulc9m=x*F&n_ٹ/;DsS.8xԡ$]ACҘ pr%V ol_廛!JuʥW} W $kċt lSL/z io6gm&HeD]泡A#3m-֗RwS4jF}mA&j!Q|W"`>RPNo}eX{?A}lPѬwwxI)=pܐ@ζsPE˨t=s!MBS][<݋qW/^FHzn)J8$'83E;4H{N SQx _ٞp("#h!J U+NX~t?Pzb"Ra94on@#0W-VVwܚiL^ 5>Vs_gYZ7zXZִF! Le}]ŗXi%B*YC0^X9[,0(7M~/{[2 #)*5@n]Շ4~aW|UK@fQ<2)^Ьq*h 1B_W$FrG d0h.v+.w,u%=7 B(y*}Gݫs#II,`  JV4FYXbU(zqR ~X{CHqeƉ&VdCT&Apx}ڬRs|V0*1S5yF4LrJ n:TMS'lhM1!v#8w驼y7hvXZV.#k͓dU] 31.&4U=^'*=Ū؛y'@nC4z@ZTqM, ߻+ryf=إE8G<2?U(oT9.=zhj I:BUFS=uď"Oz63*s_]&of$0sM7{פ[#lڜDqPdn\VL͐3 U(%{4nDm ûdřCiyxj ocpqѶu.킿°#_ Z)Nj mC|Kw_/ *=Nh 4}Ol'(RYTMg1P# 5 3w}t. p[qV]*@ !^֭B |w[?\8ٝ%jl_Ky0wSnނmȀe HBo3J Vp60rRRYsN&tDHآDrЦL( %\RlMLT2='n<|cV`V|oM5tHYSiЎ-%4lIL/L^:0890sPoSNl|q~H$/lbM5IuڌQPꑋ08dJ_ĕs'ծ\2f eSGAze 3G }8 ~@V:6.Z'km(@Ly!z{\MRk%NBq9s Ak a8xH&O!"I8RL 4#|0f|2N>`%Geb.`XךDƭ$k #Z+ֻ%C+K ;+Ďab޶:_T)pNHG4" d.w9ԁƆp`2p`^VdY쌴п;4NI9+C!Sv#KDU@mk!ն\At~0c "/C ~|50v" =sP:WrN.v̇_ (Ou7}ri:JWͧǹnЭv*1>V`y4єvJƇO]%74 5)%cx@:Z0Zu̷7B /h;S(;ă[9Ț`(0ۖ3yO9"Š.fU4/zT+enbvg`m!t}rzM<2Nh*8aϙʍQ^Qv&Ƞ]u%b;&'\X<7Oˀ8B~|G\JmicF pJ $+{)~74_8sS/OBX5v[(1n݅xlɃ&uyl|z^а21w- Y`Q ՟__{10C% e$]]Z-3VB޽KPu#=9\*Fb6(%rQ jX@J+?u4?z9&\@&,:ZŔHWH@-g"vK>.qv~\~&twHu5uqO 8/G0Fyh4r?բ巑\Xnw"rPW;E t!}d=טooв&(a#lMv;>'Ceoh"2Z҆o#v%M!:_u?.X[ X& G蔳^ moPۂHQb1yqpz2D4Z'DtZb}E~6ߞ F\Ɏc+=Ky8GQpx(5_mV "ܻbD}7ӷ 4Tq|} #] ӝ{#ߋ.#qPɒ8KlV TKn l]iw\y%E *pGpbw1.SboUu91ieD|%Dع.DDk51ɒoy;`B 602:ȸp@ړ|JV r*z<€- zC·ƬI~ٱa-z-HDuҋNmg3|uؙQ234UԳX*L&.8S?ļRrauVD4/CB3T0q b U¡q,M=,u(c#" OHzytgT 7HZƻup+#Bݸw@MSZy5ItvE@6 u=q:Oc4햿%xjsEێ/ہR<[ h:~tB +LF"3fH[c.fNћK=0,T^Yd3զ\ztEgq meSv>ت)m^iuwxL8ZeiUD>wiUʣ-%L }`'\rdY2L-_ŭӬ38 C+W&4Ѥ<)Sgel6&zZDL>3jjqz@k*3fW7Ѣ B던̰}Y?0_w#n'ecCB_kdJŒܫV^ǥ򐇮TJԘ*d/D/km D[!Ť*71+G'6V~Q[Nƥ8Χؗv\cjbXd4➈!s㾴שU8i+mq$'5x݊hny6X-G50{8*?*[J èI9*Q(~#ٖ([.I*"8/8Œ<ܛaH-=[o+fٿf7 h2tFR\ z e;Qb^d']? e2ɁaozRnx>RЉs@0EyM< 7:8Y$Lt/i-R/u2;aϧEyNzWE{LXGf~s+V$ T퉶<`WD,cks 7~YYN"!PSLĤi>SCcj(xS !8#lK9ܧBc #e851O!{+ӲocSZcaj ۑKKնl!,4U`ӑޅv[#E]1dSy7<\-t:4 Yaʤ )hol7|n+ EG;z`}ND\FJ 1KkmJ W9 s ^_-p&xƷsQ<Ȉ57s `>30HĂee#C$ Q"Hc>M>5Ee@*NE?Ac@Oz4YĴvDd~|2GLCi$3_|'&߃VOz`>}>xPh|$2J]gсOɘ݅SIbAwDll@ybnU4KA vRy)y 'Tcna?aF%bSzոךqx. S]&4LsJy,|CJ˷!*3y2_6y=wk,~lJUH":+4lJk'p\³ZZKLE&]vtiDi`ž6A^ؙtEСg%^X;fmؔQ42{IYf}`J$-dwu}'DpVu̯BVZ"QwMX*A{ͬ +tc!(.?L og;^ *g-1JDMdKJtMc7y T^8b/DQV`6DZß =LOb "2Xĕt;2Vcb!%sWtѲe\s0z2:wRJ`Q6^^jdZ&I i:vH$'\P1L#'̖=V,L0V}{v|f-,qhx4!/".n)":z%ofl$0o~Trg!+OI}@>`(n;S{"e]V{<#\)2ŢUb(zâo\ܢ_p"W a4_ޖs-wАOtHvs|Q$:{Y>A- s%fs)pՐ։xn0ε zЄ׻A|-uw-z=&uWsţt(vGfZkRF튮Ȍ!(e/C=iE>u\Q 7v1ntߛUw5ӯGE1Q:2\N#{l(|GOX@{foy#t?{yLQ0 d Cp9H/qLp)V}<6yXfyf23K0JTti &)¥S3#pRD;0h)wx:03 fPE҉!J˳iZ&=奶i}5ɰ%|dvnhakhȃPe`hp1)wTzB]?JѰi$h! ߷hq)eCv"7{;=нd;=s3t\wGҸ~$8x/u~MdKdZK!9Dj[6?IůK!&ZO\(fr(*\3P;gkAQQWfS 4ބGY?dlŢq'߽♓'U? j WA"/צ٠bHZT<ҵ* uY?] _B!on%K~O6΅(n7My8ÑMj,Tߖ HUOtU9wƥE)jZ'!/)'_ O,W▲؛<̕ RA(Lxzv2MĖ>,ȸmM͠5%L8I!^L9@5t&hqap E?CNg#wUSzPͼM2}Kr!,BKY,3G"ʪTʨC1-fit>kAy]GQΖBx"2Xc,KY 1U&kLX&vji#.s#J%z ksc4A٩)grY>t. Nlu]+<qFԫ\zXj; j#D d|iEj=-x~OҸI^Z98^^g\Rʰf}wWLNʚ',jEӼ@WeɩoP mK˺8VY@% O_wd{h.@ŭ@i.k\zYu푸޶|^C2֎].)qNg_8Xaq7 ( ƈ"ِ;\xZCt=#ِ5Tq#,c(P@'UE{ Yog>^}OEM5(CMXHMeU؏,룲nצ-qƏeTbh>REƪI[1BPYlzJ]vTN|F)yi 1.1abTJ]ϴN9ʖR̈́.1m9UV]86Xʁ#97"&Pԥ%be8hho~Zc-CV7IB}ĉ9ӱUn\ KG?vhVM''_؂d;rM"=$w^g_V46ah_9lyr]Zk6wqvrl#=+ [S g$k!~JvS +E[sVD"/ڿp\5Iz ;3WBY%cb N@8":ipwhDq6.U6t}'`n޵Ŏ0iwX*$8{:icJ%óɮR/j Im r\7$]A/!,O㨠Kn0}t'gkoψW'76"v;w?-*C~|:{e7 ^oɱw߈&YzҕR, Rv\7E*Ee&KI=tQ!~}4w~!BZ;6+6Nje#W:2Ry2;d[9-l38$7 ,',yrGsG蓢IjE[uZ~=[R \o3ECw1XMCX۔vqP1Jc 0]C:Vwq'GmOi'?Pn i|~rej6;ĐIAE 8 z5nX^Fs%1tF;?F:Rk>؃dh%TsGWڣtZK[a!Fhzt Q/*>ω;vHތ>t6՚17/}b6h(ew5\P/нeVH'9MP<DPdQPKpD䊛Ҫ1Ug `浦ok4pvjJ=2;9T,̷XS naJϸ@f}{Z6zk2+[hc d>Wo`ԕllxinەk׮Qp[܀R O 'Ck&%yg3ZdB Su"j?>^|46sN?>3: <[) hm&hSտ!Ü}LQ4du]=`2aI"SW}FdjBd7$Fc>)]zx4A^E ~=V1T^Z}&B/ tn%}I(L}u M0v̷2'4js|E8pJ8(zDH/8? np8ɢ}?)y)گf2FFK#vA2JT}́ڪW)tMHp:kͽ'2O P`u퉪|!6*Jwēň{ ,%Y0%rCbGy`ʾ}69ol[/-ZȐ>]a .JZ1I}W(BJZAEMvBͩb2VUp$/ߚd@2L{GbQy噶?n9_QyN.Dq4l7ϿǷjz+^qry,/A b (x3Q-=.% Y-}47cLT7oPIrc;n0q((^qzvPɘ"K$a0H= ߘoF8%p&aY(VDËBg{Bқj_?Q%ٰe8di lIb1QClTWVqGz^`zݻ]^Kͨ@뇥dؗN.BDqM\}F Sj4kU '%RPb88!|c:j.7,\Q\G4E^e a#cd׊EB>2eLGԘ*UHmor$GQr]U5”=th5c~ ]XwxS\A,@D3mc\ [0\6nQZ aP=yŽA*\WaU,Ef1Lf%4%zذK`# qEq&o+0s6Of7&/^U?@'QVcbƅMGEboyR@WA)!L?6r1M'&NS8*O5{PB`u N-3 0Z jW}b1U2o-{Qds+"+Lky_'Cr"VE`g:^QquuKGHnϖa< g')򣳕bM(ZZѬ5b'P>ek}oqB OP.Uͪ:GGm/V1[eZESV*UΊ ڼd_esyt *f--,Yig@<@ͧ2Sb(-~$j;)A 1h|Wh4p8UuO;|e{ԱMHz>f(~[v.)挑ILC&/(Exu 9x]m-luy5 5Qd$UX5,4.2H}RkN=rTu:s#ȩY|Z]3@(LA `Jx`V>JxLXBzO{7(E?8G,aMOSʆV㿈MH,(yv|0u~O^3A6UsQʜo1 U9<]RGdBw9O2Y\L9JE1TD[I*as!: $? N'֙ Oq(If*lځMj=h/ʻ~!ڎoÀgzsU#4 o;F)4UQ{gZXj"QxA41;]i{.́["|iVZebp_!vwTV퀼jS!w=\ig=Sj[8Ё7Akh o%NM_ƾ{%`IÊzdB Z=^n zVOR ӭM 5j\-ܟT٦j`T*Lɴڎ[6y*V S^e([Rԣc P^.E\-`Y[q(N7 %9;[jCbHdOMÝٙyGM(Aв"M'kGve:,PT؍Q{_C@W/iYU奱 j\5=aC^^12Tzz9wPSY8Ժ5jmNo0mD!wu30:Od/ ZJUؼ5$*']b0hܐ";n()֞ak\6Da^w-XtÊQvl/hťX.jkXtݸ`q1Iږ?`LO+}afk,YKN1SnOOް6dceο25F`#W fY yQ>j_1TNELG<$fqRlwoF;7lDxѼ7=b Im`3O/Gf0ŒC_%pd@HG/I&Fq_!Q1/qyi@bW! C.us._Hh2[)0كM{S59Rk%@B,OOM5` $i6FMHX)첚|WVH{C7'/^8H`|6b*6(nC笞De0a; <a&Hs s6DvR3>] 'y05ĹR1gT3,0mi*bqd߁m~ DT`] l{a:T &@m ( P)O.ׄcGbau-KNR4gЈ,_ګ%^ })$+PkvdY!:P9Duj14&&:TL&-A4 ~[pd)~=J9y+{HD$:XR&*Ц̃Ӫ()[Epgl)|PY) ],'kՌ)jtgѼ_];u);\Z/${Q<&wncs:C] j006kRLlf's9*d"Ӻ(]\W}SVZ#3U9a+nVpyvu`.hhin'(:eD/w6+;|lrm5q 9 Ltppk@s圅E r+Í]Gsf_:x^,U夯u& t& I/6.Oxy_1$'#hL@(9#U{,agl5Sxp(Rй|⨜S/X1N!E"}* ArƧ7- j5K:w r|tV$,%^/m䌇6B\`{ uLV&;KʱS=^ZT5\= M/es.~;ۦrmyönL1A[x YyWYY)hW,4 *(;4q=p'&9t,iq1hmCnk3[(vrhL(WkUȰi" ,~^,%O#;#TV'.fW_NEC8[[8(S}e3/eQf9'OaʼRdx}x<ݖM-^9+-:5%ifau,T`ƞ{xнp$OڹAv skZJѪ{#yW^ǂ>7s#qF %<'8_vy>(L\ڪ{<y?4~AOvwOEfgFƗp,- N₋׀'^?Q!909 {aj~tҰ#Sۮb#rǚ&P׋VASI(]ƴvv!u?IpmItpj_`Vq `1xp&@8m9~A JK[@P7G^X!2Ϙ9ӕ' FI@IkR1$H5؏QMlXI)6. 70pa0CO߱;wҎ1| 5 CF`cx:;2kW{HGXW0[ xCA3 Ay T;478`A&N9 G" <75j^H(T7B= t;("P|XoHTZoX* Rde<$5$wj1.Mf4{gn<&c]C~" O,m\ۊv(=x=Ȑ@>\#b!w=޼3g?GG1K蝅CF-' h`:$do[{5>n]1{4jzzKCEY0>gs޶Z.;_33(9h߃A7 [X% }=. IXo7JImFzNk?OwsqY5Eq;'U\^d0b^|ًuÀXʷ*bizWЖCSʥijB NnUy;@u;H]5x9->[w5Otyl[Ir 2*Zش MIoeԭ* 9y9rW0^L3N+UF~{Ĥ_3r{ԫ`z/uEX4 mzCI,Sn8 u=-h wT+tR#ykv6D-^dYv3/2}ʰ tN+Qj'CP2tl]Z$]}<2~ːr>ق, 愈ZpiGC?n,Zfg:ahNdhdWn)6$cnZbXdbUr~ q KȫoI=ȴ7Q]4E Oܥa(&gC:;وNӱiVqbԾ4ƒFNdĵxcW'*#NMV'~<˗>+b}f(۰OUq/J=б'Acjܡ$@`iKO&;\I~|؛C&[?D–I)}č*Lkk: )D|Nqślm'_: a~C(oĢ9u4oڥKm>Diabijd.jnj8`b Fu5럙I&6)_һBXJo~Œ`Ͷsz2s\;ZX҈2Sza 077?_/X"WȀ*yb$YQ_vG1 {f-*XCs39|[I /Q;f̊[&H-!DѼKH:oҦ¨cc([|{z(x& 7Fsq_HwQw*K/N_M3]52w aS=bՎ򏘆0VfM*$ܹ}ōCy傒{ntF`}ysafc.C?|#F[])e<7SlN.0֭yCe|%)mn4 !͓8@k ]\zTyOG rS%"B"ihݢ+?%=paZQ|4ic k96k;n r#T)_* a#B*u͕ԌAzB"x+jgR! .f; ^Η3 -mG AwTewO_o. i >7Ц$JEg)vŨeSI7 \:88ON0|1x\0ZiYӎ(J5HWZM4oKU. AN]YHB:ZKo#VNK&m~-șWۇ<2VA܏@5W?\@S]wKV= :Sm"&adm;>4~4Mm4RZIO4#8mUGC=X/۪AXjZ14H٣XtY/H>ߥ ~Jm' TLD]*{+SzKSM禍l@̷㻛v%`9OoLH![]3-yW-<"۴H\jn`EY5hgHt\kE G85-XDc+!ii )r r!ȣUǐ-&ܢ0g>%y/%si(}[0TXC*?ycO"ˍ u0IE TDmUS&)H5/Q6Y2#M2,̔xrYbĥ̳mNIm@$ H%E2\Ĭ r Ћ/E ݤ3ϮGZ4xySH AqyD\PG'vy{yؔ#>Kn-]!`p/KUS]М<HkI[#BlE0g1_MZm.4ls?-aqXx\L^ɫ$Fw7>~6[h{`;Fkj>̓B]7R D> NN܊ k%݌"в\FB* >3p:pPfd>"*zp 3k4'/E:$H6f63Yjטь1r,iGG=N $Zg 9m}zӃ*3NMBF'ijuL[vDrFAwϷ.7U_, ?sz}K.]t$/xy|@PiO }c|S҅Y.ȏ9V;Lu=8@Ԓcr\XPS8"*B!)'7L}Q3sM#"iH.;STY]'d_u&p/CE irbGފ*SDa,1)}]K_vE8~|cp}Fxa]I v:VL_d\ #r(T| f}I5^,({䟰Ptsaz`ӽ#Tw5d$N{Qxi$ϞD6al 9u]^k8+'̡dD̤R* h٧F-o}dU|a|S''&H x%𿽚:,>\om =<|. 8x@ t8h.s3u"_.gEcL":y<%LZ8JS̽j}SkdAP lыrb@H9I`s`7mبv‰&˹LU&/\&P6be7Lz" J9|QD!ӕ?WwUwFM7Ϛ[h^I[R:<3&g!ˇ:-Z6IliWB k@M}Ƕ|A {t訛-}D7i<'+v\u-/ڂOe-(t叢Z K:a˷te ,]ʑIb,Wk^5皂&<)qXN;uҬ=t}Ȃ8(0 ۷4 Ӓm@:e`]gN?wu`q5v|%7)yXڠ;U3|J}-F`2*8Q*&\T{XWq@.Qgh}MdAxEK=n䔡]OZ̯3fK:cM_F[g86WPxl(̧/?dVRhm#>\#koz?7񱛟Iur#m尿( x;qhF Qbi Myr '2KRII+:zטz7ߙޡ!66|OxqBV2pNBk)2'GlH,űQZXhg5(gyl1)?GKt0S.SF [6|WܦEZ{92z6 xodGۚ)U@\{XwN6>;n\SBk(%, mOd^hM?|Et192dMUIHvT>]li[5;qB~.U\ ޲DsŎ .kpl hP*4¥SpQڼLR{ /p37& B0D˿҂A? xd 3KOlQ!&RiaCc@00(P&F.fjn gT!w{ (5 q?]u:0ґa1T>6 NA 83yhbNykԟ=tZ hՆTZL>yJ͈PÇZQ~ըG8w ךNP Z^$)&&ΐ˝W<:„oK5 t$M[T}w@x|jfi@?"L.j͎ZkM}0]yA%/ Շ[xfQQ(sKٸu/0,^c"z(28rBXMOʌn濍B)0qk#Nh駤JȾ-Sow żƁZAs],i+;"DZ ܡgQq㓀 EO  )mݧ<+yg}9Տ,cV5!F LLrfNښy]8LfYM{dm'CC7>?aZNS~ЯE;ۓUryYO-~N$ ُ]{i?cxsC]dqMm@]\e!]4R>;`CA:qۙYG֒X[i\T1͢/ˢ]J+-Dȩul;LRS2һC $=0%0{{wzV.zaSPM`F1Jk}'{ f?z& 35/k ݒ9r7="Ŷ,&Aq24Js [O^tgYZdf7a5bb0f77983ae0bd72d65647a7aecb9609f1576b019a50eeda51c4b74870607c55fbf00aca327 a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1 f04b6a6c33ad0f2bac00ec27566d13b96a6832d3 5823237499f8a3215557a28ba1b272a2c1cc4d7f a5c4c930381cab770b40305346f1cacb915adf2686a28d500a41851ae8fb110746f896e7c198bdec