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  z),d ]%]Groebner_Bases:threads=4elapsed=396.094cpu=1377.556gc=154.832factor=3.487zXZִF! ៸)N]ŗXf[&sݞN:2Hp+Cʐ(]80fH%:ﶥNގݲn,}?w xjGQTgc(0y0fEyc6҅qsK)T\RR\N#L1-zzSiʫodzqP;"y.G/a{pfJ>+d$oI$J g. b<0m/c;pDE_ExK3H驛^GRcHpeҢEW?~GO5 |FÁ5EOT :r:kA k F+,E7iHJ5 Fy[/KlCGEІa'b49z,!xMlK^P*YbI]*;E wCsI3nҹ尙e]H|zTX` :3=3{ >$\Lfm )eCI1 7Cܚ8e+#Qې(.8[d[tA<]UZ DFdeTm7B!S|tj ۸|?7A&18g",BչrٹPOBF7"l ' فܩ1 5G$3evQ=ZſWOPW Fg4J5#Ѕ8=X4[a/ȣCw %Lm[# Gt<̢t~1 ^+_OR̪FMyKˤlA e;vͪ+ h ”bl9憎nTH z:2jX=٪Фd] Meo98K=ӠsL/r3qxl; .6X07m \V`o_xڢd"U(ەԦM(j&f=gEH֪2{=+LAYi7qh}Wf?K`>+j%Pl[؅p$㱓dj*52iS*t(J wM 42*Wsv`f.o%ZAlzv7({z[Vo{d%3X&!J|T9.v @Bf~ߑa/> g;Xl9j9C޴9 9RXD;ˢhQa)>h˱yjCc_r[]7-s{/H.$:\vn:.2ehP]\8_o &BÄG{oD_%K9F|^cJg ) Groebner_Bases  ylydցƑW7 MGS1&viy>5z@5Z~_y1n~Ѱ"63D)Q%2J]k[^02ܼ$.2GЌrS}v޵Wp&ja@d x`& zNT)B?tv\qyS"^OTUS`"￑ 9vCaet7")@Ju9.72`{G7_>ĤCy9?j 3y]f϶詀Jp8ŗۃu[v?G*zm̫=3Ȓ* Eh ŦڸwGQvv]t߅ qf{RZ r#cĖl,*n TL15z YA21.X?>WD l-nBݎ=pw|9g"7+@C}T1ZYvj_ !O J`[d;r^)nSkfXm9 h!^-ANzۄzkg+vkOCG\(ir2hWm]?pOpNUm ŝ?@*{JOZ@ Z~=ڨ`+AmDn(aRR>$@MO;t_?*,U9wRybDXPI)r9fv6JSc8iOu}R;:>UR4ALf7ɳ\.O;);io A[ʒf¢fLJys)ի"Ʋ+04&܂鹯wY$t BU5A ,'6;&UB9xG~CTtvug6W$Ms4engc@I61ka.-*.}: dKh@QfgtX;Q'3S?d=heq}]yk T7qN~d{PhUuF>tOsWhpA=KР k0[7#Ej9h\Qu%/.+ pQТ@xT3HFUu_0>^Bp }SܞP 8$Z>r[.9*Uc M}d~C ^rJv&jhiL A>oE ۠bq+C $#NĠ&ΰUkQ8?\ב{6P)+[D5 7.!r>|=\q,΁бדsZ/⪏9CIȿ_O = m,yTF8]Um~'~w[P^ZzL GO(s?' @Jąb/P#,WPEG epHwvQƖ4qEx 0S{wJcw6Dc \䅐.l-I@UM 'VD&Uأm)vcsbYe-ML;/~-ZB"|:8@ +np<" t,hNYǑݡ %YҜBh75Vlp SOF.,|ڤPۙE AK*5+c3 .9TJUhGY㕬c>\hq+`\w8ٞ piVdel "d,߭+[h - 2|X+ϯE?,yFꤽI!<րQX k!x)@^Nf'w=2ٌU2{oi!%g5cG33#uvm M&wޔYhosAli. W3<6ŠŮ)<ř(0P9w ~^k%ܭjq"} 7y1k| Fhso'љ76|Y[$ݜЃNNV#}oZoUfTQ"xz+j />lK%C; MIΧRs$ΨeKC>l6|h=<7Ӣ\0]kmt؏%";Fjt0KI>Pp_(&Τ)Y7W}$Tsǿ}cc܌|&- > Ṳx8$6BԂ|2C#ɠbonUkUr$5 /mn bm2U }sʫ(©^vQrWX1wFVtM[m5𥳐o(#R*q3^ ,|Kw7z2QD߂P9F{-Yڛ> 5 -Sgl~n1=\dV?=OYW9`hu4E D4` FUV A-@1~J LՃCqT/bW`&lcԔ >1W˝)G\ռfz^{7ŷji HtS R1v*gYsvN+WLͥx_A(kD^LyLt/.Dy4oJ\iK_[aH~M+d*L"DBYF$8-"8`f~㗒t_= )"Lۿ♑)H+L/o:h?9*6ǫ N5GFN,jT-RN߶[ 6ֿa|_p!2݇רpl;d5D13/jfvҦR8gLe+2bWwۃl'u7_VQ +Ua;z)A+јw ^(~ ^y2 s1uP#ӆݴ=kEά#U%z’u\\ f#BK}p)b5A睁 V 3/蘚 Y%[ÚGE(xr~橄m,^3fc CmFW3Fzˈ8<{O pMҽO!ϧizUW"D?bsnGLwek."щiD_Ie{"2@"4,!`΄>ްh瑎_do28 T>yذ ºV&«ƈ}s;aX+EJH7!rSQcXSؓ 'xǼCsfLFlUҝ%xqBR-$I#7L!z` n6M 1\3Z+kI~^bA;rm%/قF}g0*U] ԣD_?%*\+\yf1{q;xy'FBlڴ mUF%@Fn)ݦO 5Ӣ]R3a7}_GJ[E!_f79DbmD>,Fur;F\ 2G'+ĚgͷhZS3H8PU֚I ^u44.?\QGVL=pM(ITYΦjRM2#ɯU%Bo˙'jXm(d5B&Kxʕoh'"ڛ|bPL4XGD *5dxhɰ)M<=|db)_W8VJkoxUR|vt.M^u+auAؔ S\5=<.][M=/vg7UZI:fc!]}j{0VJP#۞fw~dy5uPq0gI3':)bQڴzl4]s㝸Ι뜢!Gg?YƧ~?[N8g[C+!/äuSf%X=j LIuI0OY܀ʯ_mQU^'TtQd`q-PK< "1 2@?)0NqggeŮygCrXyb=Ь*Gz+/d/n8O$r?o9G6C7lWb4ᰉӸl=#PHq~ h6 Yhm㟁߶a χtX扞كT.1M1mX\i>qPc%q+Q/Ǣomm@~!f^~:aev1Gvus:ڊGw_Xw0m:/s3RʵAvҏij s(>@srQRx0mΒih#;3DRH=md݀M* 13kJ4DI"<,F| b 9(CX.90e LJ4!Bsp2` c:忼\L-"=Fq@7#GTiĴ<>z$p~Փ u)9B{sxтk*nxm0ˠ f.;rf/KHylꂛD/` ?Be}mh5gܥITǟ\rR4ly'-Qt)∤1sy%>|g?Zή[?D*E+bǴ 急olahuwhH.ԅJ8KJB$Nl= T yG6\qYD]^(/g~U;FP?;/;X-0 ()`pJ W^H 'Eݝ\h쮬䇈hDytޕw_IDr @ukvI\h!o0h8'w4c&t#"Z\5 )Ywֺdd$hRPZ0NkLJV[.ސNzYn y)튰O]/BYFuf,gr=M{^O\RCK ~?/P)R%`B m JyN^ #V))&Y,cГѣ9jrNiHt^a\ ϟ%|JD]E"$lNU'{`-++myrZRs#ִmE9J@6(p6;4X x~tNF\nrol^,Zc,ͣk D}9}mӱ.!֦ S]sSn[d,=vh4i:>t}Q,Wb~!٭6D3Δ )&yxg!|D0Owʐ^^ & <ȌLW1>o}s[Bfw]q)F=7=1kG\@=% 5 t:દDU/ōM|\J΀:4yF\Q2kz iH ڋ+OWևYD+"$-h$5"~j;lL' K+T#H)4$OӶ5Cu58Qu$ı[uo;gnm4 Pi_ˇVq#\r͈Hsז T՘zZ:=$DU+{XMnk]f|I7_ҹ#' F/c'jjAlW؃ >x%ʪW(KdLuyyKz?l#USeW^<7j4Rqګ馕֦^vc".'Yw{ r&#:44,Fovo*rnqV`z,XjGvE/!#oCR)o{αgYZ7zXZִF! ]ŗXiɟט+-ǺژO OssDްlQ8ƼP_ؙiKUh-W<0ÇTSXGI?Nl8f=H%FImRr1å"|U"+9u/'؜SLf2;#H c0Wpgm&Li|dNMJRZ*梷Nfu!48Q & RO侴 ~ gYׅ(Vq L` R̢ᗣ5I =Ox$@VѪd7i8g$$q\,Vm/rQk =o?vy&GqsٵbaA6 o0y~8=k{&f-#Xk5Y{1*yS?" Qc R ̚-|U>ABI jb>(T\zkYJ-?<gE߆'fa;| B&3LG. Mʍgin`M^cUL'72.Tߌc(k7  A6Q GNʸÑhg?Yy +fyпVo;W,q+m!r:ݫMӕ3ߑPEsY7ɻ\)a. AX)BbafDh9 ~(F/<9br(\ΫISE0[^+FaŖDӬB^R9+\2CBY1q_8>w\9G!]`*a5RJd_>ϕ+XId(d3CC|rqy"}]ID!JNDWfgy҃WTcp wIXnm8jMs0+[,PyTKU `&ѽPj^|%6Vn,)>+r7]Epy6˛)rMtҨ6mt^wiHԌ7]HTܹ"심Xd^exfȢ%>+CqܵL%02Wy%_uZKoV+9kw_e5<|G\ 5ˮgYZ7zXZִF! 7s]ŗXi%Gf}^xFb>+ I]#:X[ HPα B/3JYX "3aBFwхOZWƯ`RvbԵSZ߷7KBys[1f[\ 5/j.1{Ku6Ml ĝBѴxazUCg}_(9=^ጯxzUt..wh]c& 2R*l0*+gӴ@@f(tc"dmq"efǢK. ~C=ZU__幗MM3 L`5*Z 9믓I6zRY8<qǑ )6jCa GTz%ija2f% LU W%ұ%H[`}c)0:N-<~1AD:ba$ 'c%mH}7Nbfkh+E^\jY+aEї'w\ݟf8NyKl,VؒoC(=Z RfWf}K>(UR-K)-`J? #&KG̿:\ 쑂r )7"W.b &ۂ*xytPYSM6N;gےND΋C'[7ڲ/Q7":bR>_%Dw|ivb-jZa9?&a*Of\XK:Iq⛫ODѕ5!R;MAnPɰң Rj^ Ɖ]:bI'&7]_~NmnK+NR*\F?Z!:Ӏf-=@[Ukq׃dQF :y (3*%{MҳORJuU; =,M% vz#aIl_Jwi*z{:+ Su%Q5~av%$,K׾h{'E#6gЕϏ͝-=L !j8߫/OpқOb$ G=Dvy-i 4! h{& ~}rÉR~7~{ ]H!EP#lKR "|w9f2j M0s*彇~ F*Wog=(7$/g]z. X{$k޵s '!$ЀG`^(rMMn~M+S+E f[ؘ*ikƨo q=zt#ou1-wMhڳܛ>*hqOTxTDQU"g~%x FtU'Vgb fX/0g(IH#cABҩ_IE=CٝI vyFc).0_XhAvpy)-$џՁ(0 pGid&qbpXSaqj+}ĂO§> LnBo8h^Q`Ul$ֹ%c=/:PZF}I&$,PMqR;9x6` RjhGA{U%` ?Wi0=Yv=}Qr_$7 Nj4JeA9Aw}3acL{]@Oj?̄5ʺ+ڕiڢÌM#1gF&7!Iz6rx-?Wn3q6sqfx=CNTQ%St=ԫM=Xgf.v^ƅ/ '{$ y^ey@CRLV/@FHzL CM{.Hʼn*p)tn">WJeӭ/Gehx_U{8BI-W~{56A2:Siu;jO]lpk(WgWQ( Ei^bc_WfTmWx!TI|\m0A Ud@^:3Ϯmš@ mN2o#OXNn@p9o2+n-m4sELe{iyC]1&y\?xߖSɈ> > kϲ(ٸv5'Ȓn?ѽ_OB!24H@3ҫ& =J@5b5GM\+Ju ,@]E8a7&r eZSKp^d7hY(&Zjӗ:‡w{b^=I 6aLx_[}@w,j:&;+9.DeZ{w[{58~ۙs6ͳ?g>J`O`}#<RyIdTCa \}reSȓ,٘ ͉Nof Ч˾b?Bc) cpQj͑Ξ(d U&q2/{ߨgR*Bk߫ L` }'dVHH!vҠZzJw?4&FȠeP$IlMV!hp$߸!FAltumNq ǯU]܄Pvaiq:}\هW=ztAEB7fk .n@~y.imb/$hí0(>DfMVZ6Yq@5[zꩨF*KXBBOG2+O5!ƖyB.bq ^rNUd (fM#pN ,z$=hЈ5w ݍ%TZ#c va4ar?`lMp^?OK̀&j`~6Њ/ڹ+"n28PmcYF%޶>%]*I,zlՅfG`_ҹ$rkBo|蕆0%ĘygJ!|pǩ1 ("5U.^^Cۮ%QH7|q2] .,#o#JqPqu(9{[sb SH燖6EɜG2޲V~)gEsAZXrx&iE_csą (95a`Sj%.aТ? %JU*3syXT*qx6 KD8H*aM4{n 6RDm.ꩵr k7zc [Y3͠MZV<|F׊H@EH&7%J9Q7&9?г#oS,c(r}?}iE #}$'4M{/jK$-v8£G[],դLz`ygIwK20yόX_1( 2}}Bl46v{S]wTPYlY702~_QoTf yߪ^@OF5zHJ#q( Pi9*nG4E89sa_ڱb#g9'zyY|/(w-MNH*R7̻~\|t<7nkB (ZtirE{q*淟Ex^=@@it'S($hv1X#'a 0Yp=̎s 1 W =Xe73pX)Vh]D,&zaf=2*UF3d"Bۥܜv" d4iEuiڏ*45S@JnY9Į!< ۂ\i1;jKGHss-d2b"n\>A MSԩ1?\ɳ-S(O-萫Z!O_;4^ 9r|s-2jL! Cc0a hqk9r[0rbLVuix@ ծ ZZ#i#mʥ#ti r\Jsw`x{U>=T2H^o)sIIf`Ev[tgnDg B-_9޲! j/sC1ɢAf-L^Tf9 DI7,n3&&+/OŷuXҳƏ蘿gT[Ԩ8U3n"rJ}Y~f!Z8yuVf`Y21qB3%aaqUXHe@ڎ&) W`NKSEX0|5RNl-CH"عpm>^=3$Z,ea 5k5Y({ˊ{40?*;;&5OD l_rߝ1Ѧ4b0r0rLwp?ejTXƇ=[KgdCՕyk[p`|3t/ԜOuFKWd@궚|k$_/xcA׮5PhWf7lqO}賵D (}Gpt,TgjsF;Z6j=r0/)pu,ůȡR1AG=*o SV3 ˯ʙ:B|Ɛڰn0?U&9FlQ(A y嚿_F+w_*U,p͐f-%<"u?GxEˠQ o !cV?'񒨑۬sh|!&K7'^$>拝fp3E[ ͳpu}q?)RkRB*WUu˅:􎸮q549FyF :*CT1b>ڌ[3ة"W#â6],^]3I=\ 3 qᦼ .}(!hnwH8׭-aeڜ-ФHAi($-2u,2΄]zsoqg'Œ q.|Q$3? ߻YjYMK:^g%@E#Ɋh rm{:xvT:% *t?jIlRx5)UrռT§ePvkqqe0HW560 s&kMv0 eđI4X&]-x,Q)4ׂhND-^Ͳpwnk(p**"W޴{: kB-֨痂Oⱔ ^),b+a^5Kh>xc(N eW'F߳Hc\BMTuj+#iaZ0kp9ζWwW C 39 L˹pb7%k Ӄ}|>0iQ:QN^/r(p'Uj 7ٛp["rf?N e{{lCfLJ&=Օ\WUhW7u*^j|:: VВ%,'3]J xVjlyۊbL 댟QJ':DjaXOQ̢=%aߋf^nIf[U?c% KDBMDЛ?`A5*-/.H@\rNVWG0לBÆ]wc WgbfظVӢ⼿Y+WV0Ց#"AQ;ZQ~`fP0S׼{mKDQNXTׯ!7o4S*` +'tDiͫ N(' CV!>t b[G /Wsz`]2-~t!lsJK5J.U^m!?fB}8ƐY(0I%9YG%aVlxDmWWc>~xQAΑة,ͧx6xQ=[.y9DzSUu u"6+uDLPXzE,LE<3 @sǘ|͏7U rl$Ȟf܂b{܋z|XП/߽!Ќ w|HKpG nou֓~7;^>2vMOڶx/u+衧f\{<`_ fhh^%ʠA-F87`¤yA6Keup4\|> ՋjIPm8XS25P>G7~ј)_5 1c pڊ':`$ w F?~ (Vx'B?EcFfFpNaz,8ku< c!6L\f\V"$6`ƴde#Zb2WEL >%Px }A`yhzF T z*)87K @D"4mJ&}^BCζ˶Ftelŏנ.79L:V< XlT{JE.~,ȴ[?W0,Gec}7 M&m!;[<oM.~!5]>^nW,×Dxsxu(=InӺA3@Dr׍=ݻuQDFhqgE a-aHlIܸ~ t7"VWQ{F/1*1s¯1BٻQZX1(~- { q*?<^L4&z n-8HSq{Qq̜-@9{G^P$Fl7R?FAIW&ЈҪtej/%ʶ9=1y6pom1Xߋ&Wc7A{{"YY0}%qKzG-06\sc27WHwfi#`N)ѰT♏qۚeg;Vt2L(V-؀~]Kɩ_Pc#UƅFLf[^ffMFv~h<'CmF*A֋8yk'Lj{%AHHj{7 ap@ 50;\jĬ$^νdPLŪo-9#z P# |Dݭp6(݁l;K [=JI؄c[UZ#̂So`> co d5lZf&+)R w W›k=I`5>Hò*v y Ne X~[袂[ ?"ldxI':8t(XV*0:B ʼ@赥ʆ R/bw_0&f#qf3xA&|e@cCBWKh'ӣp-'N.i15i8];1UR`5zk*~E%^$PNRا gI7ۍKb6Km-xcVuBN{-*%WXǟ{'i%IEjZ9$ R􁖉+LV@ ֓/aXBcZH<_n\{?%7^GLWm|T{ IbZ<yM5UЈ6u24Mٸ&ߧKj(\ bSoFp%("<G+-OU)LuGeG?X{;H'yޫ9#ԏ UfPadx݂}1);#ǟn)QAof)@\ognnp!o4Q/| STBv9$ɡc=.or9~?)[$oJ?`Z-DBЂl56jf+>D|zۃhR\NAtoZMҼDX>Z,w2"1*e椺56ndsR&Ɓs#.)Km'"$a aR"4S]yVVX AVo&kJA؋ԛ *SҵudGx`\KNuzU€J,j-m1g o’`c4u[Bdpa%t p vi;W $۶* 1-8eY>d,v;']ɯ(4t?PI$sYq@Y"`bȸ`c^]m!+u%ŷ-y$˝H4<9$r_haohBITrW>-{aŢ<"2}'^=\?lԂC-a'RDŽk3ebh"vMPb-dftbt (wL(iЀ/x;G~yUB-VAB/ 'RpgC8_Ko(8p^P/.YK1$ D?V s1ϓjxvz=oϺ~$tRi/5`AgktIJe [ki l(2lI@ꦎ9SsBB|Gh8ٞݩmDF6~p;q7v< $[ESiؐ0g1e+x1g(M*3(8#h>,z\BwT(X& %_qJ׺%sT1i'w"v񀱔:5A) tH6q/#}{! p%0Q{XzC.u_KZ9d$P:k_sKF|7F \"!N%_+6֫l /Bq,v)LsckCHn4`y}9r87SlW A&܌F˫s]2{ t̢Ldʕ܇~)(>/B&nJZ.fެOz`O?)YtFC:{zgYϕ4 q;h@4&Y9[p)0:˶hd{疘*70o柮E4}y! ]g5d@T4pÅG-JՏ11մ{Rq>^X@**e n6( ڑ ƛCw^c| @diD% I~-Qr6y#?L)]+(|s0r[N^6Wf p C<%=m#lES:W7FD:D.Db|.>b0 G.NsIfzoP!VitJ쓠Xlh3, N(H[ޱ3+TY1+JpRy4'lz2J>LqoL&;)q?d1́ha^IՖrR D>k]#ו3fd xI@~+|AuoYHsk9Үhwk&˝oҷS၁0T5di]\n1rSNũߕ1 CTk-U2)0O8QrwuS6U}&@$d=ҡ E#gG16/"(!A@h?>L9gCQȃ jtAnfn?9eJ =pҌymRbA,hg1 }:B$4 IQ$A^EKs֮chok ܥ> lh+s E2fdlGy"j?ss}=pηv \(JmfƘRQ,)dиfU"6&4Lu`UB.3޳fՆ櫠eoq6 go_CP?c{a z‰4c&'s<`kɮ;9WȮ?}5?T#GB_\6eҾyϞFla`'Oŕn$hE+еz.#7;'NmHl XN"9r'#_RqE_Ko8* ᯲HZ< w-=h N:MsTLaA&sr(/zr(<#`57Q̈, "|礽ڠD_;OrՎ*"Z|ď^ԚgWB܀K(%9%Ar9mp^C'9p<[Nv^Juj1GO66S\.߀')[+=J8?3 뫾-^R8|JQ尹 (C[[0F/u`jE fz/h# w:9QkFw8dfٝv̙1SB}iksT֐#M$@;PO!"[a-hJL6T IItľJrt 763as>xݲ]_+xJzݝ^:UNV.*?V匠w% ~ iωZc@. 'xUu=J/&ntm^\kMfq"+$[P…;dܞ# 2v2,f@}; JQKҠ;4lb;+%D^bk\Bs]3< 3м:f5 w8,/Mۉ- /d> G* 140(W __0wܕsX*O.J3%Y%IO+u8 )f!EJw3a9Lo ۢ6ԯsrC}2fRjj?XvTo63Zx%(TRwwx~n9Kyˑۄ! |FjxѨPm,lm#l }t9nPO.07'r̳`Nq`dA"DFl' cAsg<@$0;7@T;#|?+::80A̽(?-7S&pVGBFԛ)h\|ٵû r}7.+[Wvv/yR!pFн%tP-`!vRb)R/#dU ܻT8miX_^xeG%%XŊ }ǧ6_+GO"H+7ɷ[z9z;rX10=--U)kaYPƄ`.bLViXnWLh!ԳT""TlK'7 ,Z`8-c(1PF?A(wv2j(HX¸]9·- FhFvVUQB')~4Ot f2KY]Z>y {6?؀Y_|~Txq DQ6*Y̨ٖ{ϼPNzc5qT#iUle߲W/DسIHe.01PbrX82Xrﺖp׷pSPNo? lWlgC@87ZmZVgd7& cGƭ L,@'+%].ǧ3,i MHJ+'553GB479mznMI_^%~>2N#P."ߢT}^Lvmf>UGɇhOMǂ±Hy᠟p2RϲVb9A>O~\2U:w=W=AL aMy= P"=< 5.t&^7խPAǦ͕YD5DGs;*qȠfA.ZV<2}?b4~c #>s[&3pb@lND(˻bH:eܽhz=\6Ίq݁Kk+w-2 #jV![R67vh#wx,9̚bE;|mŇz]g_i".ӉҐ)~Cdsh'\MK"'aHb:I㎵Pȧj〨x֓ zdBR,v#ɑo䙮ygҸULxe1GQƊ𥾆R/S̝!GWiv W]t V+oN`"5tv?.I}rWm6hn+9CHoc)*D3 | v-M<6-pb00dɰ&l"7dͼYN )R͕5Բ*^QDz_M "^8{z]l-r?.S/C9phtLSba7J﨔9rènX_άNՒ;yRY[CŅȤDSϣ2M /Õ+nqcЎWz W?9hqK7!ųJɘRD2s dhCIu`Y 0^G 7Whꐲצzv+fd۵*[%X»iHNjS  JݥA<׿-V("O^GD#VWFb1 +-crrf:eEAڀ-0[b*+f'Dql|;o=U9*c@(Lu9b^ޮtfZoh-{ٽ]O֫(I|:٘/ :C' "9Jzdxd9gIMm|/NajiG;MrOKϪkPpJYC^7kA8iQf!-|by:|.(Y\~ RFDأ}?)i]zW%*jOQi~*ؾkO #S֘RLsl[]ϕ 65g}[N ˤYr?ܽ[gs)bgG"=B4ϫ29l/C'10{v{ѴS{!tCL~1,!|ݺCq.kmo?1RCU nΒ6㫂&v+έQ^c6/:#C@iNCga ݞVq3޴Wfʠh20=X$6@&|:85ֲZK/jq=+Ԭu pn2&4 $vʌ6о]?ТENKhͱ?dvWpFA{:I]W~:WaXA'못]m3.x- ~{v?X^v'9K3fެfu׸uϿdv^)|U>оO;]] {@+4q|>YAڸIQcr#='MS\J&cٲtٱb^NdpȬdsAП9(ӣLOHFΓ $pe4&fj[rL iqueoV\Mw%@JD|O&YqҲSrB_:d֤eM,!tm㶉@AF$s Z,Nߑеnw0]in+83i%iJˣ.;9'oA* YʴM&Hq.;Z9AXȺ,_6)) خD(POZ+u6Uo-(RC]snj*1PTX S2"'ֵ J Wtk#sSF΃c.E\5y(LpC u{ƥ.=Y8'`<&ٛK#{xzdR=9ҚʡnY{"#0yTN3/DaNBk&_Cyc[r 'Sn{Um5@hY(t]|S lk>},~%pkopх]0'<'Wv.T(L65%1[e)DdZ 2iZ=p4|qg2jAkN2g؃A337@b4"/?Fwf,ݚ;Y̪vt=NMW\gDϵIzSy(TsqNЉo,kymwLP."G 31c/!'8A=eqzkFBLZ,ːcRz<[.??\sI1m^$(Al!;yt?|.LK^E?~.PA 8Tb Up7 =OgI*:Oε3hx,a ܅hfW>G-9$R߬".DrhWÇyr AdZM8\yP,BPL(o_NGՎ.5`lbFfē^=SپΛn3F^Ƶ!e穵Oi+ҕt1Kma7n" K káe: mvZZ\=cRhKqJ@1xbjm+oiqt~=aZ,C[LZ79a]_c\5DL'1Wmu &e( DO ŹDf{vcu*Crh_`GrqfڸŨɄ}NֈZV;%;cnKpz%Gd}~|E}mi}_\#kpJoxDfH@)cqTn;yFW,/ܿ#k|]8YxW,i앲$3_dQ= hgoPSÀ `Yٽ6u0ҹR>6( @<9x_wt[Ҙ瀕쩡j Y[s}C,fN/4Y <] t^ f< 4$D f! /@9A]?}%Dx!D{F(qBM QAGdm5=MJ 3P0Rg؁ (GZa&3 i·Ýt\J؜Jh4" :Bfi[qbiEO(-!PKT6Bar mWju­J~q.8&wMn\P:|S Ƅˡ.w与:zeP8dgeVvȥ౓4FqF0k,^>OPDq1d}D'{| i٘*> ɜo"uD">J@ $^pDj2^ܿ|&INFzJ@[_Sٴw '.<S L6^>=?d2= NE'.ګr[VTsOCT S<N&S`7Qli#'K( h C_ !| d `=L&;R7b개XG-,fNWG|F!7aGK(8,K/iV]*[|8Cq|Y3CyaY%VCV4mUSYI⪥i*IxyM0~PO8}KŒP0}Q܉,iu ]qREOu_ה*NL?87"#h:asŐ- OFpTNYpmgaP5Zu2]QEN(!,]qhb(nEg:aeL,LxOl)-U Opd2C7s&:#0㳓gQz{B%+Rx;0+L $|~,O؍LƀT o*L )ؓKbwf^N*IXUJ7Zew`t%|r©WNUkDw%+M̍`>G|D(tK造 e7ܾ+#W rXM)xi$ZTO`ndtyԌx#8qbK+6~]: *= H5XL- ̝Ν:HԻL-٪3 KT G 5y÷#5ڪ0mțMTIoa֟I:0<@9}R0|II>K]mq*"Cyo%RckqBfqO#ʼkZ5Fa,,I7i†knp{|2ԋV5+>9gkxT H 5{!r{Bm#Dc-pP4\Mtho+u&W^~Mͪ 'Fa9&FDys݉P;'Yf8W>sLJ}]h`$Z1BIū+3T K6D*_;v2?_hy4T G͜J-!١8 {BnOl=yzTڑ-PkߪOB0"nx.0/;Vbw=*AhaoM(@sՆݞ+{1ζ1c||R\qǔM7JOo9 ة7ȕL (m=ݩ]pyMMNH2Ag'x^ 2.?KCzY>Z/18Z顝J-zyx.08?exŝtl ~qRѺk(V\d6@`C ؊?K.9}Dp$N)8&Ԕ!{2Y|R̳~яN@em`lzQ TU[p Ν~wpWI%FNqalC^6` ߇tjl+Pphd B=_ls-u(TQ(9oRU֣:/WH+ ݩɞR Aޛw? HOwzsrF>5zI\u Ni352s,c4+);ڮf]_CnLYpN!eeca&J>xvwmDZr\-YD?"6Dk:n /CuV -ѹL޽b€Z1`6Fn/pAUTnǍ/cZ>mA(-+^Ư+d- )97'4!MePdta0 -o P6hb\@kwܶaљ# ]J~pxoa徏Hz MAlǐ^G Wv:C@9#1qeKcbӸSp4>{B\E'3ds1+.c{l٩ lUOdk`vƏ':a۬(4| sTv !7k㱹컾^0X &sgO^)}!`~Q6G#)*!{y^V})6YwL iux3ȝr9=uܡ)4Gܴ̰Hv֯WvΧz# AqX?#/׻Al:B3fNreR\wdc908ꡂ?W/.#xAt^{d.iS3Ev'=o26m7/aTcQӂI-hת{ ^,qRi`!+ɉv_5`*)$.N\Dգ]TIrD[QmxMwS1y Ԥ:`ҹM›9\qfsP>Oqۆu»F5׺Mȁ7ӨӇeNO#%sۯ`Y09FWsyѻQF{˗H}ɍO!j@dFcxETl>-WB,~N|KiQd;2cbg%õȈl[fKqpù> R ַ0=Z綸s$W=zr%7jOxpr[᧘o,b9C !yv=wBx4 OMIɩ6rwX{59tPAC?r;Y(ES;44Yreo*MNK@`x/yDhѾ:\*r؇%k;̖b_R+Ki\?R.ZSGuEA*mVr1/#ouJHmGc$mp̶O0<3=|Kϐe'hΦ)|,(ZJq*2LaE]dFk9r =}Oՠ{Lfu]k&editKGʢ~=#e{YX?BzW`{hdyŷ0j oމ#6j;fZť1Z QzuC _`Dٍ=6Lph>R$Ιj5UpP~01Gi*@:-!WszJ (x6{ۭVo`ew˟谊Ʌi׹jo-U#akX㕅,tS!=i)4:Yϵ@:b%dɉ:(tFrMu21Zmr:q-@јСw,IjqBN T`Y aurJVBWތum[mާ۱ d/E/@L"| 5Yyd7AU"-b\zA{b!8TdRJ)(H—^V6tQuW6 vl+@-f!+HC48\#ʗ43ُ..%?)WV$+z&fn q߀(q_Q8; m:dy"d]1F=nhTߙ&8'Iп<,t4e%{V6U˩vVê`WoN=HqU0 `upq*7|9 q6܌!LߣG$dhǵ[-Ǖ bcJvMcYؕ.b["&6j;seaM >1?QLi#S_RɁ*uVͿZAoDyC"!<ߣ7&QY͑U{.D6hsH̻6 ڝglHb5md}9 'b+8\ް"v0boE(dž]zl+lR[yx7+B% PGDrkr|`w+65~^SR]@8my$|N>~l@x[U8| A*$ c/ch+ FĶ$xm49iڛFi-Ŵ]039kR^c";\6u(^M_⊘"h:,LjS`rK%WH}9oTdtyBuf ;cȨdNzw\׃bQeM3pe3tn`Xu1 )Yr\tBnajˑӬƺuOSץ`Gv䎽6-<)f(.X $V A2 'XϯRT0q&z-j]>㨾l+cːĊ-W_uWeDPIpZ!:$S_3nsK¥NMXak ThxSg]a%L2 0!joUДjz@BB.ni~ƢEyRWh+GxWrm5/g:kbLߪ# y!'Hu8#-t: _]J.&!ۮm-~* u"czTI-k|CTs4$M 2vx4cG_q0|=x*}O.d`$ !![.J)9UY5,܁AjwVKXy>PԎE Q^Jyvò8;3 Z0x _+w;XbS_FzyɄ}0I@ދ*7sWZ< uRǐ}*v[@ V4DfX0q,/M z揰*֢!JדU^bfU\Tf8ibX4"CL!M7 44R8kP*W@_ss} `Y+ ;.$b؍t_7F?YC؏syVnv5 {Rߊv|b_[ʄO!a|ƺ`ɛq شQa D eCon<}s'2;5PPǟPTf@3^-Ҋ1-!A\Z29DŽ-=[~K _f1E>υ;t1a#IuJUd0j?BթͿ k %n%Iz6kD(\S@sGCji5Zz& OW,M,ٜO%OgA`=y[n+]&\εA\Ҡa}֧p<ڹ x =g .ȐC;+˕k$|:j9ja6ЌsDTb\Ę-RmSJ*!{8\܀5EPnacU13=6#]OKh0Yڊ_h6Ao*fЧ0ʻ PSG{c *F<[ݡ)2LJJ( u@{:/[y]Gb%HP1BG<'JqO#mesYjMQ7HDiJ&D&c٭)#в \'+.~}GOҙ9:|h:Ѷ tP4؃gd55Ji_QOvU=`Ӥ2=wmydyJnDXQmKlv5YTssOQ`T$VJc `HOGp~, ښP#' 4Ʋ)x &G>FJ.\}$4]ڮR< ҶNy D!AlDvv:ECԀO̫snC/F7`d{ *: 듿=ECJi5hmLnՠPiTfOAQD0:}I9W%+ҌUΙf~Qi鰨|Nb~Y178'Vli.)2x{?%]#F#|-߃}KB'Wڽ&݆sAWG]YOV"$dMzL/6OXKRj%)|↸#-ZDvע6*I;d#D'|׉߆KOQta'b=Q &8BzXUNb:Hq!366ͥ.c z -ăY)^X.BVOK%ml@->P 8tkCD$OGu-.r œ/f[xCBgeJ<Ji'ə#s⫰U`|FT67?6=E ge[3{6ER dئd=[K o'ԍNI$"WPa[f6։IT׫Cg]E9۵9/E/zב"Ƣԝ*|WR<1{OO> l[g cc";qϙPu Ķkg4J~ʆ%~n_2!%*Ө33>Ax-v {僻l)~n҂Ih5JņW; 2joo\S! 8Qk!6J^-{293"ۯg!3ǽy_]yRSn(.%oCK k@ Vգ6 IJ:֑|S#6v>Aqiy:mtr\Ij.4 lc:%q0SȅCq9JcE&)+oZ8.D4RW6r;| YY1[Hꚜ&"*[S&zEB=!YS!潲ط>b6tu{$SXI9ս,l- [PX`=oU Zd=`Tl:2ڱ|Y 338iRz)XxUC*'l+Vp9E>dg@DuŗEɘ䁕Ϛ94 fkFb{9so^s@NXAzS + ch3R)\=±^B@6)$WaАEqg$ HX/ݲQկS ;@{6,ZKl B!x9)N !' ܛ)):{bOd#S/!_&nV(ѵEr^?ɢMDA\ 6]~{LyA+'xsBKes-H0} z V0~Q}ц Šy>]Bp,[,x#h j:ӹ/<6z!=d)qit]{Nd6:6qf<ܭ{h7| 'Y,#w1-;tD8HB{E>j5'woҲ1+&u#kEw7@"c,U z70 LswmHMTcW֝VuK Q$Hy]{3yTysKxJ]1 f\)ixec'a SbBE]C%p1om]kZ"V6ڷ?5ML %yAlͿ~eTjy6oBR!1sMэszLf<<-[IEEr;p{Hַ+"h'0,dFŞu tA\a]q\O? }鷥WW; QUbjz_`Dx0nPb)U RiZeV@L /:e(<>b \䒾D xZ1#yW)%;'f`qt&D{K nt0{hL kSWj_dX.GH2PΗA1FJD@3ڎ;9dvd}g.]ا}0)8XU:S}7 D c