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 f) T ]%]Groebner_Bases:threads=4elapsed=383.624cpu=1335.044gc=144.080factor=3.487zXZִF! 8'@]ŗXf[&sݞNasEXTwRlĹbLmlb o=8h2Znw_f  $JP稕 5*Lb=)A\%>ʒ05psa2P R Mulw> ,QX0A"htL\$l> =x2i]~GJh&c:Т!Π3m- $Cw#Z[>*=g6H_"V"R)D$0q`̓+B'{ƕ?xfnT128=<2C9\m, QxB ) Groebner_Bases  W[hk6Ue*!6E?:Qܰ}L,%NMLh>E:S6't5r2e `TC4 ;÷}Rcfhau&QnVV¿L@rbE$hX7Y&,S\`ˌѺ%b0As݈sV 6gr ânY?΅ztr^= 2C#Ro٦Q#diΡA 'mLȒ2 ԐlA^:k[dLOgr@VG Q/B Aǣ=2Z \V\-}GP֎pTYЉoW ֈ-Z36hTuf%$!gBw(H s(k%qׇB3Œ/ OP~]w y௙2%^o3 ,i+ +~ΉDqe dz9A7୏o#J L) UU̓j ׅwG!0AJnyF3PzO}Ɗ"ԛtA8WdQh9oh .TdI ~WJ,8ĸqqb.Y/pΊ´Wh@g&+V^z <õCI&IR<.O(/i4 ,5cu)t]gP~82aNg TQIZ&~x_Q69nv˭}F;=ϫ:Tgi4Nч +coؑ_G\}s6AߵĆZ_B|YL>u{c'0*2%2;])1G$@acFǁ8\5hێԦp\v9J{imݺp7tH(' #aɰS|Rqf]"CMO[ݠ>7Fǁ_g! ux_I45u5l Ѹ>,KX+┗U?iEQ>jaZ/z`D҇D|GN-iJL5H6^nZ`Col7CNt}c'9+c=Uj+f4㗒,m]VC'8x]r \,ymC)]& t$=I+s&M\($!Y DP:d p %$^\~J81FS,>ůCpi¦VWPa)&[na~N˝#A֧-\tp/ ӿJc0si'Sį}]Y M@M⇙C9I_;Y:1]=c}X 6Lt%iz~F͌FMm;yS'~#0*}Ή;ϒ<i I|0$X\SpQ~_SW*]]g~f}?(cilDO1ߎb#2Q yb(Q:F*5uҋTCX0' s_0:CedV˾2a3 ;1nduڒ4[!T7y[׼,*F z7ʎke-I }m?78獅ͳ$1[ף'-i/:#Xm LYL/@t~V*.ը~2@rZ6>m9I;ŝ耕n‘oҞ"rqݰu9KfhӛU[7}06yw.'ݺX:]h3\_$訂-KyHyDO+PM7`,8Oջp,MT97y4MUg;:ᅂecsl|AMJJSO;%X{威P }veYS5ВE!w.tJMR)]REPua0rr>V>k6 w%p>˦ߗV|Z":E鏻E(Jdu'8yΉɢlPuë<:M]e'TnDhߴ(ϛcWI݃LP ЯkbcUSVGHd= !1[̓O@R.YLoy'&Zb=T(37K<'&iNsH( 4=U=.MgNqծ rɢ^,sh3V̶ w$^cNqTA_둤y!rKJe7|J ^ť}he 7!!ԔիuYNu: >+ukP|\UCaxEc{b9uLt!w֍=}CKQ"-`b.3 u>Pkge>x?ԯ6&xe;8.@wRnOLPkه ,|9~Wvmł9xds;OCie@2|XFJK3eyi_liX#|a6}X Sd}7Ga -3KyՖ F*eU|O\)qqpYDJgq\9G'a^cfȐaų~:*'ca!T|TO(*.1''8B]wF*3?1!$Fk_ BO>!fSn񌴗HZa]6`vYeyId=89|ꃽ\֨_:,W6¯+|~%Km@PsSfe232\rd^9s9PD^vbS[c~bvhR<-L UҳtzP3m*yֱfT72XYd:>WRJVYqenXBCUdwI"q]W2`Pw'#Z]1(TgK3D^=xy֌ԹBHws{k9Omr2:NitIҢO ~)(6է"ikoR :dQgkCzFm3YU y! mytB}(6KM'&O؀Kzk3zU+jݩFtʅWZ)iipAipKxlAthtڼܿ<ls) Dqo#`4w ),`r1k}8 N}= {tnڍGeDOvrZ-1}Icͬ@rm#2* $3 AROp"^@<şs˭!ᜰ-JlӘ0N$>aK{dYToUt,Q+3vkHr ]Y&PQF01,?KRF^Z.ά&(k'q=-;,oQ`U7O._)*yvsRY-p\Rzw K9eu҃oJ%hڤAB(vj2ܤv;pcU+p ncT?VzHpGiq2 tsLEEKx˪$B%D.´U;A+0xp)!_==Kb`4HWbNj| Ry6@`߉ڏ^9d94\Mp2ȿ]S KǺ:"gB)QSLGklB?-|@SA#ӵ$ ~[swxV{weφ0Ewj1y'Wxo3`h=gԥꭄ~m^uc[0Tcѝ z%-~Yf;XwV/ \}-!~ %댆k:<հo}=/;.BSw=ӁAwh'vn!D~=&v>%;F!ϗ"bbG2$ |%J7 EW^Ru8-kVg\Ot/D9c[ B.M[gU݄jGiD<9'šp0b~p)`NǔΜ=D3R/ nH뒚wcVqEc7n_5qWBzXFYn|2/ϧ׮?.}Q_aI`]0'AsKݨ ~ޞpRb _GĂgQb̊}b)xN7jEJBPQ8M kgs:_i4 ê 6<NeFg|(GDqIR13siW4b ӱ;ϖef5#zwtu3=AAD`. :ܽ7:·1 Wiqj?1Fah0>{"~D_5Z >D] $ y&I)sC2)c#3싓gL-9z:BGm~7NJWQNCGpǶs\էnhE %ٰhxzZFBz(Sqy"˜޺"|Z]/cƲLVZl0f]"2.H8~uOG,#ce{Woaǽ$k)GF'niӒeVv\j4lLX~|" 66S6A y=x$>߾&GK@em>,xs2?섨X˺maX&(}P g^5F- \'NPH^o炊zm+lXdԉISF$', F׫1VɭZ jŕ닆m\"ݷTvEekg% 0o8Quf;Mx58!f[LmC%%g'*57 kWz_/ N3jFxz R]|N]S_p0$[v r<ؕO#x߇̼xsvɔaP*wJe:vqw6Nl0D? wG^f Fd&QCզfTG -3ΆרyBH]psJij g{ex&nX*ձOwdܡt!fǯ^(?_)–f8 . o~mk)1p@dH])#a&Fs uAQ@x-!hR4S[:D!F|UZ^<2|/;VU{fpg4Ki=whQ3 0\!B9/Z}7fX6s}V[H¾/kiK6i!ADwQA `u17N(1繈(V1 "C:_ʆ>6$+O젃E15W2h|As氃 ^ Q<;]3d\;?Fqf`qze~h z'!HŧbӽhϲfdӘop ‘'^)I _y\Z+]FsW`k˙@kqk:MlskRt)mKyj7!Uё⤁ ˿8dsTSo A2\Āfzb04Ǽ_7޼*Y%ChG~[ˤ' TܖR#Eɲ,jpY>n`d*4Nqz0qZHo٘X%hx8!7 k85)XA<RgZu_IVBWܫP<)RV&NuԎgYZ7zXZִF! ]ŗXiɟט+-ǺژO O\foqؗp~9! T/5('Y;H6LKm!&2hDLy=WY4{R+(T8䤐 B)UzEWkA\6 zʾewv8dsDB PoJ8D֬;2v]c9usɴC`MQda +9FPDAXtG< V/vgzw:zS5L_!O8LRt{,zDͯ2C=MڴNiQLZQwS7;šچ0 s_K 4VQދo鏏67 |shqv9J,6+(V=iaœs# %q'"#59[cTKϐ+7eB8뫌>u@:&hNC">4 s0Pw[a$ t t\^ @_l1T: "z[,f((aG;#SVS_.1`$#2=j'MQ,t85H3ʓMlfGFM Zr+ݘ0L!,XO1mr~iѐI >&߶;/q !> ƋNZbߡ["#ˣlڝ'ft6ʜ pGR&758oU~|\;“k$]$Um@ y{%JofL-9QKk$$b#0@vQ1٫f(rCb! Us>=?!O+qS8rOMp, <^/dǦ{|Dlŏ'\ծzQ8 zTLBub;3g8Cc6V3/y r YUT:fQd^1y\Dp0jlc!9' .pTm#MP< OT`P$u)X!*V`kƩT1R+@wW,U?X.qGNp;+䭌NLy dO%JԓP{ w'#*]!ǸI7-x8ᇥ,EVĀEA'WwzqlwPKUsԯl!B@|<1+zN.b| lVRj)-,J<5"7W V3nX=i-ڸ|$3WΌRw"{7sf,b65ޭ$g}22 mEF3^K_y| %1߸s }sD` j0{C^,,0_A.z{:R"#0T@$LL04A"'bqc0! ]4TB{ < 0M>^G吗#$%(_﹄w-c=ϳtнBypuwGa{N*Aq8qV1Izc(uhޓx &(R8l̞@VR+&4j5 vpTGe,şMNO'mrIP}2+(^C6]汻Y++։mb­eRʚTpJ3(qI ݶ/G،:ۭ:r1-=]UcԗeDoYz&`X-%-wK] oD֯ܭ&X*ZxˆޙsTWb^=w+<`Q pߑJc3-|u .!|cpL.5WDSiI(a_jsXj*}WG0d@HD41۸е9Hم.%rM=*FЫ{ i:Sm#46_JܡKjj ?+tpYFJ y$(bSUgdt_Y)9%`L{De7.{l*->;5tVa͂8`-hMGNPO(JAm(Fܵ$;4WeӛP #b'j6ES:~¢KQFc9Fz-!S:Tv(ATh/([G40= {P+=bޟDjĮ3fМY6YN&.OPD1| ȑRY0Nuk'-8SprU\l dbjj*1M$a hmi6^%N761֒KS pXA." ̶cާXÆysB\xfcktXf/+̼mydooWySJ ti8ڕk6_W<w&"z{㼪[95a`(eu7 ONj|@M)dvDk ͆Ē{ğbp{4C=+{ۨSbcЎ~,q0W"Jχ-jxvЇJ 3h^tQI0ABfW9EΚn#?qac?u-#ΚR_8bAtQaHSҤ^YsN7%S@кN#qȱZpwjƕlCa<~3nx؎9,TͤILC4a8ckb31i?aPIr*gZ ɐ멆|mV`8 nGءB d4RoʑJ8%'c:rTB| *r6RK5:t@)$9aVJdgJ ],a6o oW#.b̏i=?0YF16[%m0 A֏F.Ҕn+)ɗMah(;KlXE%O20,l }t[3lmZ붝ONDvE+u u`P¯L6 Jki{2IPd*ZOLsޯU3܂C{{VZ$M?S~H&=sCToўsƩyUt?c`=/y=c9xcʎ5 7DaGo3E jA|o??paMZY {l`?4/Îj[l?qWj䠚gJM&FTby 8K ~gFjOWd5-/2fFG' 8'!6JT>$9NTٮ}x#KO~)5E[0~/H@炴f>=Np&,׾UW.?l(LSXW5uy}H3e˅H,i2h .B~*s!d,up.CDsxcR!'dU?*k4f-DNUfOaa\NaC8 U4|r%}) ]F0u(iRL8Ժ.si,޾F!ʺ#DTWy)U@ܳ"utdCZ rM-<<),^$W;?C7rVΕ?Vak[NrT2a.1ّ"G/*$bƗkh[$76 0R"rW }ؽ l+';7 Neկ ! b 7>gG+$Ӳ݂Gbu7+) 2$@ׅw3gVՎ訜Q/DRi>s]X>4(,ZSviA٣goz+yFƀoQjH7&\!OXM~I>yar3m0wI+}q |\ںGu6zmAэzqD'ݻuy0,杴b+gh䲔KcbQW6!1(n/2^⼆XPO̽ M vl)lX[ؓ_?q+ nt\\tCLDsMw^ ]rα6ѸnpJ|L >߁IcN9_3w%G)1DL, #Xڂ7e͑vzCuKvIGSǓ?oxW' Nc?H(n_6;o'\~VKsؕF<#=jϒ]+I͎cUdd 9Ca41ӵ-@4@D9MZt=:/'^_ɴ])4Autpן4ndCvqǶ<2 aqRiɇb@!k048C&}h"atI4D)r'/&}+rC_}^/Y `;{ÓwiĘ h^k{r' -j8brEW܍Sf4xnF yEݖz˜gWV%()@&$($դ4yq_3DCˀ~sKj^ C |LN/H=*fm.ʭA@ծZPW(~@o>m:VOb/FeCbBF@8F,4uwO;P2:6fadUƙ9$8*NvBo'{ #7x~Alg=PSk)iY⯽lA3+C ˈeytyenC^NОF\}<*X '~3b]Q }װ`LK\S ([^wM2ѣ(s inzaAz9}K%ZzQ²5)P9Ƃ߻x$7M^@I| ^G ;ƌҘEa8?.UOC~F̄$2O eY](gF8_؆#PZwM2*ff~/ЧC\4u`0geU،w8|P4v59y^NC0~T)My<;L z+2D׿bHk{xSw5ͧYT~`˗vo ao0jq͚佉jҾ5tyN"W0T84kEju HiBdBPlE$!PfCq̗5@j I!ΔK^ 'N7TeWFʷ_cEq`+#:bh?ۓdW-o^g6YB0'F 'tҗ Ro|X_b)AtaWE8sji7#t.TlOp~xhQeؼ'4*t~A1Hyf v_?BMutb[kv6T%CE䦖Շ"sj3z3fB6!B9 wj!|nܞ$+ ? uZ}-lnj]6L"^?~~dgA:S= {it2R`IV B^jqy;H " z>|v<YU?GS͖K7,+'S|0]`?FѦ&` ю}}>բ$@ZN5bو3F( ft.JI J;k*yʦ(+r榴7]>[Պ* yAF\ b3~D">VXQLKoMXMa3FAт x(d@;s`6lIfV-;>K[i6jƫY2pf<ld->ȃ4X3>qd-jN?e oi8%O5I\Z=JRHԟnV% zg. )ucy}t.9dN\rVUb HH BE?0ɐRs5!L2jMC$@TP+}㖵Mو0SܡM ^Mcu -ҫubO<5hn/`0ʷyy~z)/:e?$g~':tL/2Drdζ~P"$KC%`Gd@ٯ\[7?NfAgf}0zDz8P O'CD[G54fEW!% h@f- Ejo7ؼbi>qrB̝z;ιԦXmbq$m+57Se,|ﴨqX8j+:~sFN `^+a"Q< MX)"*PDc]}_^hU%>TX75֊5u6r/|DMDa>ݒ,TpV#q'IMrE1>I6A"gU2 (-~ai(;L'adRE1z/Y*玠U[Tw Yxu' dq)Dջ (B=Wѧ UE&FnQnRJjZc8 \ 7|?a H1:)IXM a <2&󒠗.޹٭7)GR UmI/Q!f00X: g=pgm~E˱B7q!wRd*’Jvk P6ݺs`{>`]K=$+( S$M/pC 襍Fr7,tO>ǜ虦rUZdo5Yz΍ur*i2}ӧ Vu he1AN$LRdhG]L^q-N)AU7^C*Ci -UC?WL/[pȰ)@}? 7hLS+K@8aDDud<7.n^Fϊ|0w*4KZ.&|<>:ȸ wkMd/Mr2!DSTӚj+;Y0_P#R1R\P&q9ע%UU?,Rx!vVyG1@IR7i`+i`oWm! F舝q#Dn$nKy[ُ\Mڥ4Tf壗Ƙ5zTǼA! pGXF"Yj eڶM2{\ʂV::2L|n5Ա1_-`=zJn6QPX/j8W1;t٦2T_U}ab<l$H8I5Y,,eR1~$P7 eKl1g&}UNY 0PʬdlΒ[n{PL#@Dnwud@^O5u.LM$WS} Wx@|ME\,FH~w x"]@Mt//LoV/H'JV 8@h/$(ǀv ]D҇E-&7WԄqލqA<.~ EJu)xgcb6'fHH BE*քϸ5Ġ쨢qs!QSa{¼r Ǔы00/l\Zۍ"=D:twBx\>&qwmdXL0iBc*GjyZ3k R9C>x:; *v }D6\Ld+udy>op[a.fMKTA=O[~+ۦ2cM)|^oޯ%Lw1"Qc "(zm54{`+#IC8PIHhCÒCn|N:]QM8MeWlqGdͥ)^ann= 0*xy v _o|N"v5'?ٺ˸QuGYZ\-.NAxtʝVd, 2-Ĭ* vu0;]z1|nd Ĩ.=Jm6G+/zsO)8 -mOu_gp*X䒱]pjSR6!8ԁbVwPf9_U)nӟ=7O`?E[O]_|"h Ձ#!`t!>JZϨjT1߸Z EUT -'+!&F gȐ|LwEHbB /ga~GF1NWf- I `4ӢbR!ˌAz-L@12Pkc;͋`z]_996]tN]6޽^KY.8@;@C؝i&E΂62^ yrw.R(e*!u9.6a AO q=Tg p~KRf2+@B"h!WIdFT-yS`Т*i"JgեjF$ѼVgF ɹ$x3!K58s=RC.fyUE;eo47vr =^igЄB;Kf#hӖҞNtLJڙJᄍ9 ' ň {sd(bk䢏 9,-l>U$6y͛%c"&@8rn dɪMİ 8͎Hܺf+c"~NSbVqu>y2lԀ}MFw䶅uSC?z9P.@VdTcfw#2EhŎ WDxjO 3y 4U/rJGp?>RFW;X~LzNIJot'BU XV7_7Y.; !5S]{Lg?c\so 9)G$WQ(g>hEƘ:gײsgÐԸs]B/7fP/[] 7ŕkH9mH^Aƚ|cH]\HGAXpM DJSЬ̕K3Ð(A]BgWwk2Ji\1l`=ٰ)TPLv[$6VU&CƄu)V2ҁځhCF1sM^A>~e/42]ft78" SIAF*.j(PE >ˠ,"S#%8%  'D6(<Nn Q6$NqYۛ58!d+ 0#-Dq{KAԪݘgTV{edz'ٳo} @4>A؇sΜ"n/"3k0GIp),{OA漹<:gwmF\Ϣ]`4vaN?Vq=AQ Q(l 5ƫbS(hkGR_2F1|[aA"딠tSj(C$Yqgѽ>K$5#@8 smG׸@,%#&^cy@NSb]Y09u=n@7[y"jX-Ln hok;[7|á_ !eMM+j葝..74u}5عeV&1ƒA램G~իbwS[½vEߒ=ű>v$Wh~}̝n/ W,uuCrPZl_K+`ʹGFvzN>>7n,awDІ>"1qRdM7?B}Ԕ&c!\}Q.l%z[ΐ O'[9Қs}/CQ=kKa^QY~?͂1w1&۲t϶ri#w+r,f8@7Ap3zVH% EwINs-G7jZ}HȤ #0: ~?{ I_ĢMR>/5WVn+ !zp6vmx-C[ ^:~ f.}0ұUШq9IpӲ2Ajce~E?s@] +.*U`nHp!qMR~RZ~NC:Թ)p+E2P3ghXmylh-s.je-8|=QV!|7M=SE~^2FtߍsE-'EvS0)ض|I7j$D6Y0A bCdpN?0Yyi8k5ɬg~É[^:ỹYgeg@}bMs&]wg j_&iN-b4b';6HꤴQ$9Xq4j;v;8m_e7$İ +ӌ݈!I<\gduAjQvg;[gXgqUhW2FzefrF7O zz6m쓹/9xt)mP>DPhnx#X{`璅H. /&X tch!5/p0&~GϮ$AT5L-7;tv9i"_F# ?cRBVS NaJiMc . d%?4VDB dA@_9|l0VLU7d&ڧ4vF,K.@Lz `t:'.pyxp-Pr @9D@}[h6%.{֍Yr`vKvh}s#ɰdr\!2>EM(U;]fԷǾ|qŰP f0X2֕WkqC߱QgyE*u8JFɣoreꞱ"M_d ЗGíe^B6+{}S>㕂Ѹ?/`ȣSSs⟽ajNfFOef"xx%Ps!m,0P6:=C6=Vj&D6\z 01y{dV.7:pvf3ljHt466Ue2a'Fvc|&l߰<"xb%~N5eoUesNo.&W_1D+2x8FE=b!fV.#a4q[/^؉צX:<jghɶ6K2a}w7B+GҊ n}ВH3ؾ2jRK 3z9" nIOHjځti<s)'muwhhV/BcD;% 뛺.FR@VH.Az|O_>D*t7K+*RS o-ho0 ԅpjl\P >WETɭT,3MD|.~#ByTOX"3LΥMKF`pl kJm2sRV&qPngNr^ɐ!սk) c- /g?xJ:*X ^FeJ](7d@Puߑ$ @4jpZpi¶ӡJHpԤ7>IXQa-y1uJ~6h6K;a`y:3#`} ͿHvliLU^wˑ;/*˞? wvĦD e3s9?vUWW5!&Tu|IP`9˵ݦLt]-6]6szn_%ݮZoU,j`e]HO <'W i'~whfPFM)d,w6J\=m#'f6h` U=vnRp5|u,bIdrrʦ8?vŴ#㱟Egd) Jay(QsQ]TB^JuRGz!orȴPMA"O,o~Or 1XCж,0<@W9ߎHQA2PAy;KoV#B/`\ n?fD?~ ,DV 5.9wFőÊn,AW_g?{|8%~ۜ hy6ksR%I"9QQF8dDZȵ[ͮ:tsZ#@zF'T]}krQ2U#Zu*O/ fӬKE]}5^/hR(:4DY݀% !z]d-E:}Jf?+ڤӞtyy]@9*Wk?P8ӊkg8Qq )EI} @ԡ@n+Xh_K4"u7*DAsPk̹//ɇB=Kk`H˖o{;)$a;)J3fSyQK'EVǖc/@Sº2\n6 U\ݾ=DԸG,``ӓ_:nGU?@&v+w `=*BBoVbeNsv##anUޮ.?e#i?zF~?Qyws c(h S>FC-[ԢZ' |r%(PK*! kXQbADm[M;茇,oDK0!""[; @ /wwVތcsA3IkG'*ԮӍ; ,ݛC|[$wͱ0Y|MIT9|sTWUƕ21PaMRiA\X$KߑRw$6sCulQ* yLŔ+JVI#aK]ܽ(?7&EJy%sXz~޿'9-*%C82qB zQ4o߱p eB@! R4tI2,AwI&͘m1v>qȓFZ4TR^/a,kHr~ydGX@ڎDSnCX`D;%m~!˪CRujϛh܅+w$û<15L/v{Ai!W܍Cja n~W5kg|.gz.onUe&TW2r[:ƻeF*bx78B!&us[ZxjC' 3=o TBD" h I3d{ZR+s!i`"cp+Nj\1%$Iҋ4ō+FE3agofy9fP'q9 1! jEU7\+G=S0Fw%[Q9F_6&^לw1kZi]3,ωduzg5jLJ}{~E D0΂Èt^%HM@lE4uˇ}ɣ91lnE h̩ìȳD4&I/LC$oUq;S=/Q7S$:W%1 /5| $>s7K"@ o/*ޭ tO8n1eHxs怞@!ߐc9f+Vc<&|g1g }BH#$W"q5hS=iXG;:} ڦxc5H#00'瑏dE28y;!m&(3#U:ppy#]\7I}edveCaH`US 0\$؂_,YxM]٩)"J:5Ǵ@( !p $:ߊPeZq\^ڌd':9 ϘI=p3E.E#nV;ሁKC o>3AI_SbbzKbYӋ+?{SiP {`ٻFn KFM$-A2?߃sRK( Oa`.SݕăNVW s9w[$޸9i٠Fjk_VPzٟ6j&ީ(F\ԐVK IPcm`$:\DZVU?E(4cenEE`I q6W}uVceFt` [?2۟xtڔɃ&O%.x?)Dmkgd\yE ó8_׺P(oZzl":-y4ײCKTo^֙Nʂ lWKʆZa1g"MQCSĔ1ɪ8 }3>3x+~UuXF 5X=mKb@+kDY7ʧ|BzOB - pjA&vQ!*R{ ~|Ր~vKS%?.~qҳDE[x!$i(nnJfj A̘X/P!z`>7jHzM2\t^5> cx%k0NYS+x. n/D[IxIvSelArL>e7!sSp>qLҷ . 0&V;39x2PPB{J22+;67w;*>F96}C+iɔ7# D2qӴBʱfr W.-( 0<(]jG-""Q&q_W/ԮM;+$ |쨷q@85yb% / a+rh< 5BVZv] .!h)}.7 +lL1{>kl]Q(f-S("16R}CToML iO^1@_mAW2%S]fp`f\X̟frP8̉~[ea~jjMᤧ`figN'}c$j)ۂ-!j)luz!z]rt-28y7U."(Ω8 fǦ7uyj`?Seyv8R;av.JǂP6qZ$M^S '@R#[ s4¸A-Mh.2]a3(/ZR?:~5;\ncmBR^8 Qk䳊HR7aN~'qb;=4 '5H|/!UC#,'0g m0A;jp akC6G R>Yi$Xmޡ5@ծGl%/2Wgj˓׳zYs4q1h~ʾ{ C焘 "o!.y& :EtAh[M -iɌhI$[Me t\#4"v 涩ϞY>O w1/I( <\̇[P(&NG?s .+~3#)!l {BT 0u$ U`GH8*Eܐ\L$w.vڐ*K)E֛be闵bdDt/#;+9e9E bN3N VL:>UNWP-Ql\ yO7lO(֬RC vwnGzr|]#L3D2YAޟ"ݸ>TR71xCNψtǤ󙿗A#cn3__%+j}؃J&uERH,yNzk+SJ& IHB8# ԞwdR2*^H~W&n5ߋhaIO6ćW;R`g/H<,~~Qj]Y}=i&[~ۤCt3z6eͣГwEn7o)^DL7OY+ ky]hU'݊nu1.D&?模6å}E: Q$do:e"9U1KpEh!%}{2h vt6lu5Cux~j ]Ti3,!Ѱ DY`{M [6XE/ MH7.\\[ dWˬ^Đ J(>qE?]Ϸe܂YwwK h1GFQ`3_ fٛOHwᯤAW9t_Q҉Ȕzeh"CY䔉+O RO'. ^?*%;!^ r! wQv\KC?4r7\-{`13عח#V_l\)ul.3ucRZʗ1f m'~Z CkIojb^+8);#8}7/Ke@S@}YIsHGDI!pH.ǺMg~"rd*{q %&azqY6'?}*KZ?Tlש{4RxU], ch̊W&Z!o8>5p*OaǷ6@юc~tpHM;Jp9bBerx FP*+*J)&;g9f4SSWO*}'Q=~99t_8}j?>mEujN,J9buqg 6'#wdFOrx#ַAR鐆A 90RXwM*jpo#D~xp,te|ޛ2&kJ.j{ R9Q|xRqљA3./q⤵|_6!/"B9 a1S׵7!eh4CGAfl2RK1@^[o^h^ -+bnMM=K0t"Fdy0ϋVFt]9) #Xgp$Ѱů(Mo5g9Kj_霙2 gG<^cĖt k}!S?7mn&ehc"ʆAfm"7PڜǛG^jDc#<to&5/rlC2OZeJ{ET8qZ3!;<;?>KK o`ItVYKwSޏ3K?O$]!E_dkɋ@R5[DtWaȖY~%`&Gk8%Zېw)N}h} `IVgfB<~ Œ껍_Fq4`0&0c]3ŵ>4tqr&"?`rmb}ң4%Ӛh3>Z¿q!xth]6[ >o?A K1vv]mJ'Jړ-};ÝXew5TH;(:rbeވL1fH})O}~/C9jC|b;%V]#w|ȫU7d 'D0FP9B$Ru#(=FE*&wf_ $7ŦM6n;`ڱ6Z܎CL&x#gnǾ*}3uwrQ\C͛aKF*gT39* ٽvg͈WЈi޻iߝ?'L+/aWa|;EƇ'{:rʧ}䬆zRPМU#vef\ՉNչ"RV&pq|j&XՂڗwO(g~p\B㄄@F%ݥ:i=,ɈuG[olt7Q窆<!F,'@I\z[30Ҭw}=Em;: c dUao ĝR^ kUAKP^U*MQNYzxi0XOf"ofj)p =cd%^" {piu) WTCёX~ usP@*o.fm|wR#B"H(9 Mm)k-Wɖ}* 2&o([FV:rj˴p0u"~i}:Hqi^se@'"`̦BḊ~S&MV^ c]vvbm[yFG&UG_NK zm3tB;6ydd+~*K-9/Ke-iwdžp)q~M[5O)+Q')t#ݙ ,B ج)z^` J,; jJ')9qjiƅZO~ FenMtܚY&pj8/wky2(s˔:#S2 SP1?w*g͠Yt2v%90 '&BcP"c]!vu[b͗3\jҡ(Z:J;tmFabۆnј ZB$K1w^Y0iAK OdLiZ/*9B*9) XUTDZ(_$UoPeEΔ{Ml-[E?-'1)_lͱ8GE\\x 84$kp ?V'E2k,i" y Eۺp0j{+Bm|A&w,ˣ=d] CezI72-=&5ڠm*NпLLb)u)93Bق?BqU"rj1]r;T~.m@F.f3o7~; n0$VOa0;᪳JOwTa~ӚE.ԡ*b(VlFb%u@irA$_ !q)yNS+@ݱ%9ʙ}fqp]^?2ғӷ=W[Bކjr(ӛPZFoY0f]J8+܇1g_Q[r5gq=4I[Ku븏ia :`] qfk}^ء#7&1qQEgqOp]ѕ -|z^IˎX"@@݀L90r Mvdy\{b5)j#BݬC|Hvk_ Zs pV/`趿y0hdD䠗vgV;O*rN"հGz|8q9FLGVa,3gSQt?*A᯷I'6+ժw_ubjbnžw뻵畜-WGVkmZ8I>^em^;X xw` cu4T5" PG*J4UXx~wx k5-6"Z4`}[yW-џŔ=z;jak+}yU'R>ЍoE]̧~ʅΈ @sn9=jGBN%T"F:Pk"cW)b!ӹ:qv_ p?j4'k}zw܎D&Au +ȉf;qsVyec*L/CeE8kP)W ci49O#vEfѨb?ꗾ e) a.vW TXI|2UPr츥V9 $D%%J;R`A5:Wr R:iѕ_̓Hs80Qʲ AƆu {"&!t$hoβb)X!Bs_w5=YqtO&{N;q%7OElLu*Fkk;= yޡN=Ў+w#u<-3X\DSf$1 ,8yͳcPUO!\_XՎi2 fcl_BK-쐊]ʿW0j%v3!iL3ٗ%4&?7ށl:m7R@)[+XU3rHa"<'1E@rEAkjqe@M) 1ʄVrs%h^icWϰ~Y?6#k%ͧqZ}ҙy24Z:!O"房'O hOT~'&bUşQ9 tC-'^g(eab7EdtsًR6o^_]?]0D*+ 03 ]UGwc7c"+Ggϰ)L`8RyQ̡侘EסPϘzPhDwx'ۘZЧk c|| U{C ZI' <}O(]›]"w1}P1xp}w*"6lzvvNޥ6 C:͓R|Uyd |i'6j„&05Pg%RLc~mqJP0z)ǐ%^Upc)'][d.)qaKC?%뤺e#vs Ҥ ;X&Q Ϧ(ZnYȃOywl<\C1J!ϩ/+'UY=?\95\?)Vp\BA-hLmj| >X1dr~aEUWA-ek˛[2|WxE"%c5nE?tN6Z ^gg'+mjy>,*A?Si 2ezkqoA}*1 78G&ڡphf!V,<""b {B DU~`9rZirz,1Mqڻ$Fl3瀩q9{E Ne7[d5|r/]Z>b"*4ADpr(,"S6;ɱ"TuPlߍkT`͌^,c1'T7ZgDw&(~$x- =73Jc W7KIqq:;eMP%)#7dwE5 *A(X# og=pcVYHE.K1+>ֵ"+._#ƾ.pDcpܺ"#6Q%7fфjWO&4ɱ7SJW]Ϸ'^76k`K-8ed[d8f^u΄ QΆC!0{)Q Oa?U sFMk-tAcqR@Zm0A7b-asm0)UtBk2Ӗ!/®(fI}u}ir3ܩ.9A7RdP^Gzv| \}{D٤0-CpM,tP5W)e'|mؙuE<нiQQ? Iyd'G :j9 ǖ |Khc ) H+ 6z<Sx# eqlqJs^p|Y"3A\1@C$|;.Ru.jcWVr(C@Y~4Wφ v Hx #ɀ*m.8Xl(3vxZ?;DRs_?#41ڄVHky'B`ˆbTS;ka\`2\A)fX'V`}ϣ(3tK+\kZO:@ҬYnZ9;_}2Ֆx[V5bʲ8lNxam$*>5![Z3x 2 Nhg0mOIO@7&qR)vbir4=ܸ?Q3O}56UyB'ln6 <%w5KF䤦l5i[D]y9Z_曣S'ۿ kAxGc~ ; c8+%7ռlni/Q$J2սLz3#£-o@7"·[U} |tn'Ch\oDzh|)GFui?q+pX"~Vѓ\ `0Q`H6ߺe$Xmztr[ sRh-Ch8Ѩ6##2`a <~ׅ2n|vUjJY+opЂAIL}DRO ]㓹'e, dJk]8,Ǖ<,fzhhr[mu'$dCDMIXI"&j3ViS׸)l S ä:E./;xXGQ8 (,lNXi~B t?(M@5KT"i`NqڇC`.n$IRv<52<+JW?j6/tR3eW"R0tQLF=j )f0P lc1թ"t sXf~B-pRDG0"YEFRQx鞛^Ձ+s{!Tjfz_׈mQv#U)1ѦD(!ܭ,^)M >6A q&`gFl`DiRrԯAoqx|ˬxӬk_nJX6:X( 1[4rޭI{DDce&غ0'QI$oΊn"z۟BL,j)d˶l;G+NU>N ր07H88 <4b$vKT-No 1j&KڵJ6E.),x'P PF,{@  X9fre)G1 ~=@{ N/Uf9tZok PϛX=n5 w գ՛m_;:YbqR!dV&cqy4)H_tJH<r TbP6'a$zD黭Ǚcg%vXDHPoLˡVщL|Qa@||9s~k>#~SldzSe,,Km:c{c(GY#w<-b}{(?D"O)]+NJskDYkNim {"3rsA(X(9\aR{7/j}_o$ugK(ak#MpAA z6ܯu7r;h`6wnY1mc8t;lPNdյ &uF|e]JWѝS|]+@UXXcЏ|3IxxJu,w'{ieCI||/ޗn|-X(~;u]`[G$áeTGp+kYAr| T2IЄ.; ^_+Ofb(r5 ~<޹hlۺ8Gǩxd(dLR&Mkv g 6CZڏ!0ZE $~c"n|뉜+KDk61U N@=DO?B^nVI/p˗n%d2 0ߍjt2қȏ}fXxȗ&鴛F>@<U칹оecm )$5m>l&selaukC@<;$~҃a)ÙxM;XCU%`zPIcJp7;bʺ%9>Ú!Il~є ׌wݚ \MrzR ͲR·*jcCI/ cXKR7pi* =5EGݎrVvZ.aר K`Mf&PB^7-|Gmѽ@&&@sjigrM%9]aznaՌ_do-p]$u oQ,eˑ`AYm"'ytl{FǸj5ImV- \W Pa|HnΣEԊ à C*)kG_Jf4<,~;R? jY#Ci$R ɇk\γvr_0pZ?1!#a9yjd*<߭y4gЯ":thD+EW;# 7&JھĴ&ZP{9(.@/qn_u񾪥k;*ƕf@4}A|m6ڝx0r\e 5((0 cU6QvفBRxÝNŁ --1l!d.GlOBD5*JV8hG0iߜWnf.P;"r$FV(ap