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 ")LDT ]%]Groebner_Bases:threads=4elapsed=354.718cpu=1265.196gc=117.536factor=3.577zXZִF! t%^]ŗXf[&sݞNasEXTwRlĹbLmlb o=8h2Znw_\F.QmG$KoZD_, <99-!XZ&+%h)L~ Ҡl $NOع;Θ=2'Gv[ УY\HT?T[ѳR5ܦ`}{tm@_N`!` Y{7x]e.$ܮ)Bp6aJ$E ǵU_Gs@QoYᖋg+]nD'yԞ_6 ) Groebner_Bases  ..Rf:JU?C,2%0LX"D AIP`-b|6uqǠ]B>%\RpgL[$l/H9( h+׭tt)WwADܼp ZBK*%Ϧ~n! 2n3v_]UnK$wқmyG. D7 B3 Skj?wz5cɵ)Aӧa+ dbwj7tXD zJcʴȚFhε߹Тi&&=5˲_E k$y4-D({*80`輸fh2B(/0Lk-B>`3qP}C|;Ǜ!1az*X9P`yrO#N<ʘSd ;&.\ǥ?b}݀Hʔc_>o*Ee2o$lfQAzG 1wҝi]8K(]l2KUzT+pW %?#e٠䣚z ;gx'o&`uxG{TӔg6O!,pmWΎ9XOUeCڎ gzTI#x_E瑻ү׍fԹiOd{$"H\-jG;!wԞ)L]b% hAR w16|Ƈu2}.ӲOtcZ{ůDӾMmp Sh3i~@e T]$T<slv_Bf"ux&mm՝r!0rtXTeh BA\TȵL {+or~ub?n Q[O !=3IEܠ, \/ p#`q3I\ ,-|q6k6e`ԫ#'ae\a&ǩȠGDr}IGC"J\Ub[f)޽ [Et5SqvW׼A+Qp 0(M8RmI 1hB:xT7$$w} =GCXT[d%Iz^c  ,Bj0CJEv<–ɐx'E^u3aH'b1.c#9aT>|81xnNR% 2؂B*43dpqg{7,Z UK˖FNj73:Hw\bO&'ˢ twQj>,ђh&=s%`Y,<]1F}_ȳaua^ʊӯgc}-ջbPy\A$$hsɓHKdI@BT!+,_cEnb3X`)z[(;{.4tĬusE9zahD8#/6T9Rwy DrEJTn4i9ҕvgfkǡ^+Rjt=e mIsj)} Vl6_Jj˦NC{/\p5}L9P1gZ']X@ QbAvE)$>?'%q9vZIhv_&XЖ_ ճ ,߇B2mC*A I8-yNߠp!?Djqsɶ_ݓe[@_yY* hӅn`]ΐ|Z'+$4a].5Te f_yIն%2(bY:}1圯tB Z9=zgaq` 㥏jYWL.v}Db+wQTS3. [vӰ) Wq}恞ؾ7N̥x ዲ1D*n, ȩ7D#:˫1AȠ:v 2xfrZV}ݶnp)y@Ymv.U[&.ʇ "s ,>~7}u].6i 6?2],Mߦʐe-*`UnT$]/]tMJv).1L4H$;וe]R]}Pn$n$ĜwEk큈h/C}iDTFq\8+;"D'Lo-Å$w(A3q*3ajFoynKLw.jXiÕUK:~Nf1)){+%YdIzco(6{:5qg>QO9vֽw] N6g8Mؗ:TG9޸9U 4TÅ@>W)kY*'۽D8xlPn/AO^;8fyFv BoWc/`@ܘSuH80#:-v8k d<`r9|oB3R"z#/N蜎(,i=̗A+*tqa$]??=FOkݦ useH^ X_W˦c} SNe 2DF83' #B18}μ 0u XQ&֛ nt!U~FӍQM0.X'0H\Tl'VoLX&ʓCD!M[%Wcxr}^hkLJ׬pOa9+⨊JtyGY .#5((Tv|tg4Uk VZg`KK,L/Q0 *L^_u)$qN9N0N1[UU7܅a/VYII3%k6^&w%F03ܦ, ?!sÇ;oHF׷щc6Qkc'GyƦlf[ԅK9o[&[W߿̪=~~7C2 !F8(=>S@'dEc_0|j< Ql2Rdr(.ڑwhI!fGeшk,Mzi띕M%iYXj?̙>*anμ/c(9:C% wGP+W;sEŝPKT(xQF)|<õ9 mΦ4x([_܃p5vgC#"r_u3)>v~65 f5oqPþ0ES'y"w>{vԞ8U=d[<\HO1X;z'o7ĮѴ!a]};Rbq~yuqQJLX_x7EՊϔB6bUq'S_ȓ} zSNzp1͡"7k h)„@%P3@9u WULXnťckOM 7 2jmD2JzxR[pƭjx?:mNAvB2nCBGXս_]+[%n|̉r.u"J9ywZm!R*-ª]٩$իɖ'?4< `/Z(tχk.Gh±m+B+S×\3lGEX_5 RJmL40n|?c.¡gU @bz0r,`XL@{1iO;m,$;|Q3cE6H/&G숔IT2ý Ow|&B U%B<49eH~kq-F$gX7rJ=1ivrU0)5pbbuΗY#Ҳ`^9<0y/@BLz 3aUuCD|Th̪Ԃl|=;kjB1PCY77hU-# FfS#2c܆):kK0wYܞ5:k^Dm4nǓd-l d 127()QpӁ0c B$ӘiO̵B:K00]E9½]CD+SLE|fmJ=(; T =%1&j^`ާm˸IZs.$*mR1hX>Lؠ^hDv!>vϰvR uH 8{"3׎;l 7za9C/8:iY< >5™[^?@Ʃ-TZJ88v [U,{T  =~1JL]gnítw"MfαX@:C%'> }qp2 hö4Zq"l݅^GhNʤ=zD'aM h&,cNLHN_E\ z~h)@_zHJC/eI&|]n~Rs䕢0)̼P0pZ94!6,-|Be')d@Y$~Puʐ^--eLu">-י9dޓۗJJ sax0ҽ 7dk\#FS橋{ Y.l@k; _ #%qv()d| &?r[`j75zU a\05v)8Kv>猗a+$YhLV)1/ͯg?U!^i^@XS;Ѣu1a.>eSR|ֶ* 5)`7Q 􂚘W`dy\E5%WWrαUx!pj~<:&1о;kR)>ɪF*6ꤺW_s&XŪk^DP t#iI(+L?jzglj`s#WΞ鹪(b"wR94$mib<$ Qo E . VCn `"'M Xp1br"VXx7rc nLCѻ_WyTvk XXBgl4M/r(KDp Q5 F`>%ܥZtm\Tb֨cgҳKQPg=zv5v#%o(Wz_Q }G|CkLۋśߍU9΂ո Cut+m4_7:4V/lPx@;?6֠$/f[UmDj%:kjcPkٯ3$8~:bh?J뒓6 K1u?ՓCPTZ ]lʊ@x4Syh#ɟ{%/2?C1[Ӄ\"EΦhCަJ뿟##39^Bd GiI+8Ko'#Ą0|Z誨<_B'Xd]x&kQL$Ǻ BղLTS=mOMz=匓=qB >;zͦh}@R&hƂGՐΓ+qƦEr Z53/}$/pA=LK5 Q \ b{M SjРbn֢sBi5ګJ.l\\p?&`ڍ𽵔oKҺ&ϣ9$KeX vZD*T[/2=ϫPFk(sLP3U?H7knԱusM9<:(Gu#'NW2EY,_^ph߆fTg.H-JvחԳ/pi)0&?ۜ*h>^Wpm]Ŵ#1&.-n|i&iO7πǜ *̨`Ojl@iqJ ᱱ-Ucut㴦"X(@#J ƺXLRڛ3*]6v{`/՗Jm0C#/)`?;JMYz؏Hiǿd+M,Up]Lώ,g%fKnǚ ox_(.rwI/X؏劉a&3W4e8BO'ϖ*fQegmc ЎEQ7cDumTE);y4g !̈^Ο_f2DD:g 3pJ 7r̎l|+S fJ 1ʳZq5 :6dv/-kv2,y$5<#SdbaPک[A%\S!eu Ttl3yNڢh=rs Nz ۉϜgYF#½Fv[2:Z#^4 LqՇT|6hbz~$ߏܝNxg*!Wg]Gs,) {rA@lᅈF([g D@ S3dg2+u(5Mgqr{6kY2zKJb}d,LeGrbO1٭`P((yS/ҵn&~{m7Rz+͌d+@C/ Hg>&s&FIғyb>qH`~zQr4ֿF`iRz1|vlJب>%yo8Hf~w;dG˟}$lrW СT1֤W< _Dci63H=u_@]an#>56F\ Jƙ`1pusl;Ueܧ^< ;P%mC8ovI`D_d]󭜷l!=m\~ԂAt9ٰ3bQMR6QA(}򚈹Q+$fNԹ[a̔|džpP;;Pm cE/'1[-Ķ̪,ԋ9ݗ#:$ w> YڰTK``ن<#[M Az`/2LԐQUuv؉m񱫁mx*+&z6b(mMl[0 XQSY'w#]Tl#\P { wUD3wޓjZyƍ£{Ǟ'sf{-E\M+؛@^Dƙ? NH˃U3m yhJ ?+ }N5dhTԡoހKZjNl!Tv?Tk07_t}t4AYq/^.<EHԏlvO$c;Q]>ziFAh<}% +,. R"o!(KnZ1qvBMtB$g etq(ugZYcF!0nDuW$}} K _6Kܔ0"@AZ^.!l?JKM 1<5٪x% X 'ڌplO4-2R"86ZP"<<ʿUL.MJdxТ/Y6WgG$Uxft[ <*n}Dj?:#;U?]]C;هa|ӭG\*,Q)Xt j_Ňٰ`ǦK) S}xFRי%ȩZ} 6T,AzVܪ3A>䇆Lkk9|*qh!7@L.za̜| _D6vNK<ō6&LB ,rIÇeԅн39֐fT+Ucw±UF (])M:/sd w |Mq?|'OTdòn:e,,&W:xdmբ琢9iq]lǜcۿ?x`LHa3Ux-Y/ng|2.`9zgKZYf]CSZ?k]%%NOd 1-Xf,ؕՔs6 t']3B{\5x x[N NGYj42b>EC#7~rSJ=r<>F&*["Hoޘ~{B~2eP.=(I2Q5R Ր)VPeA|qzF`%lJ%NO,KCn J "\M]εLt0q0傠۹x 3F SR%g7^>%.u[I3D8~IPFɘl uR򱏬`;zY'V6GFWYhQURчIWț簫S1 4 pgV"-o**ƫߒki-c9RJ)~kZ +d뭂|ѽdG:.tW^]#y&$!:1mgX^ R4AxO[205j76o ^~dNEyon.9 q+i@=s&)S7< &?~Dh?r^-5_xҮ!ˠ~hhq:+mB毋(چ|Ns#[A]jTר $R^x=Jhtv59FCnC_h*ͫQX{Y;?<צdӖL"58VRQ-hЀs_3xpiEǾwUcT_עM`A J:dyx >'A2._caeQіc5 ]u3X2> ՄMƼ\%{?#hH-#g˝G)94ٔui‚3^9@>u 㟜#/(d5}/9FQ>Lyc$ /jmF%eIwK]xdA"ҚL D4iِaiZwHkq`TОK0k0;`id)S_"U{ImUw |P {:OeC0*ԇҵozu ':q2fƂZ>.U.ca)i'Λ(>QX' >8F_ Ma,9SIf,ӂ?`i>.O~ q+JDžƠ|gb^a! m إ0|ܿGeʴ0/%:SHo Uh@,%А9fQlNSի\O< s S>%6C%ۓ)jR[쾲 m솠&Yg1尽|A$A 8 (c1(g$ #{Sb(a y>̼-"=h^~fSF`gh) z}?Xf$'89x g.q@g16ô5lQ؊ m@=앏 fe@T SBD.82WFk_@&2m_oq"&w;okmDysIVYHX{rU5*-id:9`ǚ=xLBD=,0پ oluԵRi*v!x4OD>AK_ &m5j..obV+Rµ@MEgop2aH0AOA3[P*T7t x&6aљ?P q)TDžAu&C7l>UOum!7TfĀ!d>L oKD3iрNNJCB<|6IH+¹E&)jdLIpvw{ K"roDNuLӗ? euV=ܸ!_jQ7Ml[vr)&߶}ICHtaQWHbuD+c#,| 8]$ZkRFh3ina)xd_pU WF@;wZ-*hHfz uc3p#AF&T8RVm9SՌȜOP_Ys$dᖃeީZ@ vô<zRO>%]f߾khh q-ۙࠉl.'´kXs(&hFNctO+А<>yK&DK&ԡ&Kn B BYR?.բ%+xl˟34y٪$\O-4s@/Mt$P҂B3#mq4]D]/rhj7pEнSYxx>~Mhb ѵ1)!?Եz3q^)jY2GdE*&;&;$,&s.^Ĉywە[V0]f3Rx'=W)͝`sFT8 !] L<,U10p3(QŘyu\_g˦̋tܥ_.ȊLn{AiLtE|sl(ŋ 1T>>^7m%dBj[vJ$Y~]љ$7jt7X gbYuiTk zQ&-#ZQK 8_eɱ']/6;X QIr<63dT" Bv׍=G{_DO/?Cy""3 l-&1?$qh t OW}#wg!,eN:*i2X֑qoJ@X0 B?4Y$8rǹ>}nVYݸ;TAJkJr;. EUʇZ ۾Ύ_%YUFX:hw\X`Ygs5WUT5k]:LXs^Iapnsm0+u$gU/e&BqށSW ;}.[xj$.l%U,]SZ8*NkW+O Dt >8N$+,tbxI-?1-!C zla3 ótn|(vtv-:$u~RJA@7 ';ey$ɋ.+lZI?pb?AG\s~s"H4LܲjjjgƤ6F[(Ŝ2^"/;8(ڽ+Ϛ" K|etZ^"a[ƎYoBз=bE`MMKdkMtSoYZT"O_nT[#THs`wΌp10=ǰ &@Ȋ2=a[)6ǘt\-$"T`TGգZ{H_&azhaLO<@5n&Wk"t 2'ӭL 3,bbV;OOi˓H: I(fv_8:T#o ≐OQF"=tPnÝŲv T_3I.Q(ws1$#S90 Vts&ir%Z ׇ%@_N,ݒb;ilH+>pd&?LFz~JnlM[}Թej#<AIGy/tiU' l/8-1)F2g4oOn=ܓʐ>%0hDB.2|~C:LIL⋒Қ8'Y!{iO,N,a@q3NM4p*Î ^8+U3"=.̙F͛t&>MP~!2:*\!ioVsWeůz9ns(LttHH+fm Vuo+5EBώtf0^o+wO,pnJa3IrVmu^; US=%ݲ扆49 *rR(7e_X{^ltD_ƹ/h5gNC 2r}ŰyH9^lI+*Ɋ0<}7N*/P ,۽ms8׎q yb2 :ӏ(Sz'ce_Tfg8a|}>4MoHW>LzuQX6ZccTEL4CD[&bUpI"U;Nk?͓#dxL* jf QO 93&HDlY9m5_y5s~.xI=?& - LY}Es/G2Q~UuOYI7:Х 1Gc Mdf>Y;zjTbUie=η~HyYty <E2<L")kY((`,b{dh2IN~/f]?n~|mvL\o/0[Y4Vz:g4O%iAatf1!-zUÄ-}ap$Yl^ ʻ/of*12jfnQxM7>xHV:I8ӤI1@dI i #EI8 3owѕ W2ON ݌U/Ty) mT5SWwexaj~V3~_e:[`M"jv1,AwXΥ$ n&UlgSAXCbpM»9؉۟u;pcGft"|$I .UvMT!ZX6%9E]q~Z~KnfD1`*rb8s8($"Hjm6tŔSžcB+Y ;v9i8Le~ m uM&71 4Uz cdGWI)N̂DtTI+k5+E+j[=_;f&uP ЊU#=do53=h,|2>zYM\}csT8NmaU2F .i,ٞyVY F^ D5JLIcQ֜z,F-r f@&o|i~D^HհO÷:jU\m;/' ӈȕ2 jE_Egh Kn5>"! aEj,2.ܶ$ Bfh6m鯆Įb0OJ-GIX0Դ  jaU6_bm׀jNWZIf[ \Ā}ʴ髻L鬩v'azO(hB| rˢ SSk/, o6Y1.%G.ߊPWUX#ETuf̜NӠ m"J&,|8mn)6Ja&ᒰ_[B%3؇Է@ 0|v [`EHI $ ky,NmGaК ^.?6 >S> [yD, *GMzL,')\,'d, ;'#Ǐ.mM`kg&?wCb4۝& 6aD;&I>PL\ ͐`%m Z,KvA7HLyqEW',?#9 z[O5sV ݑz6 qVz\nz5[3f[#)%٫ /}\,& O!~u&ʄ7{ eժ(t&0 3^iݜbB$ܨV ~3K]cl@'%P9-zƞi8-! yj+Oy+|K؄̸ 'xרʍOFtT.`8T*yP_/@' H+IJLJ:HFf"47`Tqy-BzBFf;`.цZT^dzgoj &[9ӓ oE2z_0Z}xS'r Pʵ\Tj=jՠ_z ɗU|Xҩ ^Ζ7XV`]07K x\ޥ y;V:櫹 :̍%l_]ҧq[ Dq ( xRus:@6˰JH1p;~Y :I{o]+!V##e_=l>KZ;E'=z"p@u0@e_ JWu kWO(ʉOdI|4Ǽ; ](FrK؂-ynWNӻzR?Ѫg-SL7zuT4TS*DVKP"j/ڄNJ=~| E?dѪcO ۴?͍㰹㿿ra"mV7 ^\^qmWm`frJ{2Yzt%ބ) ? m4,=53&'6RSwe RIĉ\.1GB: ]@8{41,bCeDJ Ş42O.ĩj'+ ?%]f?acy5<<p$v)3T':+Vz0BPP ˰v^GiBPGEAF':U|^:v"E-"3&ySeDG:ab ϔZP脸y8+Хx$3UWkC2@'髇)Z J= 9v0Pc9y"c)֋ GCXVB:,4HKeЙK SWrgiO Ȟ?H8JsBQ/.iEqQ&uVYWWxZ8$X EI0Iwy}m"c.kRK,H̅Ү[|BfdBDQq42~~xS+S{Y/4P!>,O !Гj~`$tRwĀ 2WV3&dج9MGWIT4y >=Rx4(nq4σ˵'1 b#nT'-hQQV䮓*$b!xu;+KOI.31HcaTȂV$0q]Ex G)G|\E׶FjEzNwhDߤ렛١# D 8sbС _&y7#ep` Y)@p; E:--0 J(]k@a'dY?)JkDŽͺaA>H?xة3 ?ح|N-ðO>SROG~ep ^ _JXEKrQW$A:*0N"w[BA/ypOAYq@Mp{93K; >|r7+U\c4yKף[Ӱ=wZ2cyP`n"ͭpOx37w%<ڷ |$6DQ6d¢Eiߋb- P:sWQ큚6z#/Jz=4'bx8 MՋ+&klsɻnk/Ht@Ԙ9 k(9_.3ZT*U-$FLRs%nn2=ջpa'w 3Fq?|~o**Mndl> "[ŀ>hS|&+(5MI6B+fLp{:MߑgkD;[YW@W#BL/Ap\=FG`2 (vv0zz^f|?4YI>'s]!xn M1@z;BKL$DWZw҅uY̔ 6q)0F{ή=_&z$w/#Rֿ(,Q$ WmG;MgEP U sK$|![KVGgΑyzX-m yN3Nۀsgz> &v9 c }5Zv#{Q8z@] ۹!5 w6їejr8c *_ZGaRگxkJپ]JrT-L2d ߛ^C)N^zpAb'd9~UeK]@g 4T2Ņl#B hp^Y)8EUs+[֫S>^C”xW~+ 3G0PvE!xЖh >"mQX&g뱿xSduB$|LE66|ܢM:yI\}|5븶s.,iu5qUCJ7LШZu!;eR ݦ@iD ٬),+y 0ӱuSo"[Jkd9 [䦽lf/s8>h%hRf9 ]"\BSE. l={ < Mt#z[oX\ dzǦSO.kdV]SBO'`֋ݩ,_j1TC8 %Ц#xvOYk3^y17k<,?6QT KKz .:^+?V60rb0_v4LQM}>-z1rs,P`k6b0Syc5+s$  !dpwTJ 1Y;[:aN]q=9=9[4фar̖x\Jư:َia;wMgɲ. #.`./T&I8;@utkP ܏o|^]kGSs׻w).$?c('D3if2I22,"ʦOrṱaVw{ ϼɘyDGQ֘ءU? ?!qB"1 R])TecN,R9*ұܩ/&>2lؖ6sq)q+VY(IC܆< ED"Mf^N;6]#FJg.noQyI\J'@OexVNY|Mv$ XWZLf;ѶNO|R"'G2&t :;$,qM$}![ 7n ST9 KEU.XBGF]B,n>I~=@K0ojfFwb^L6 Vm7kˋ7ʀU#߲*m;pWUX<IfU۲EB7`0A87-0z ..ݭI9*Xi߭vIDʏ|.=xuB{bgwèLB U6#)?z/-fg y!M"֨;P , ws}oaZġr|u}{(P4䂜޳d6K[r8 OԄZk]:r`3tʑ9hw `ǝ3*ۼȼ@j*(j{8QϹ/c*eՒq<_ƻ 53Hֆq-*|YUgL'[eڪ Sf3XN'hT,@DC?t\ Ӿ Rd7+r6P=odn9)զI~Fo9ނ7~mLy^DV M$7!*Y`\K.?tSH\7IjQT^h9JNNxЍNMxl+y &tc{FƲyUM<69uuɐͲU=J\{c5㵅@ؚń@I+]wXT6ݞ. &kL&1,Yj< W_K(BoF}%1+û*v(u,kd12xLPp;V-8]dȀ|er&jjSsd1qb|2,ϒ G ^@XK<衽]'mC-b^Υ9}3(XV Nzpھ9Xs,/t}NA n 3i ίȟÜI|jQ+rE^ t,Ul2@!gPmJK? Qm|og+Ar$@#ӆ&1Wy j -_85XmmlkMOV3p-b^PS9jP}r5X#A{Ņ;w]-tˏey+ UC)zZ6ܽ0^n_[$tr_߇9BjuEnfq[- ױa46".QRaM;++0fckqeRjEZK=/VL ubKuUL1 ZrY؋m)pns>(*]^e)3"]tYbFJj^0v2I\z.&Č_eQ%!4ȉkx~-Q=I~3㪙 TU(%Rs7ϱN)A"oͫ74nP|xiL_x;՟7[^l]H@H32kTF(T oZ(͏^X?m?#Hvvlнb{E*CқClO$6ݭ*¢%ZHg#LVv '#BMFU/8Ϣ+I(: 0uWIYo fnjs#d(2bQrLݫ>}d& 0 o LRYhHJ [Kz^X5poNs =B_[Č=^j^BJ#Cuk_;FL!>l|o&.vZbO_ULz`1q@K/m gh$k 5U/<{w÷1H'ԇ!l-T'P"R4Ռg9Q D~Lg">=o'L?KM>B'?Aζع<1u2|pɏVZWJd>)|~l_ە2qs]Jyŀn c ^_˳ritlX7z!_Gz ]. kU$ hZRݾjڐIҷL`dLXY3(߁=dnӣ=P:H4&OfLZ"witY{DJȃO 5/2` f>|l?wLkc%6L.9dnBE2wZM=?jcU!> %3ǯ}ӤMywa 7φSϋvLUG?f)8r lR"X)n% <* jy3F'i)BzP=w`֦͊qt<0 =8*c'Sf1oچ2~8>zز<7zn|d{ϩL)[hmR0ztk:h}q;Z>ɧ_"C_E­}GsDq؀j3n-&ȓP)6^Jv3=O@ ~`ع"b\[|DڡU7v)n[j)A~=nKC=fk7?㉡Ls%gHO=P gШGp~yA1`7PA1QE> )#GED~*{: dX./`J֬۔7aQ2}#My?-q1_zՄs|'<6Wkb R(Ev 6aO&8#rE ++'^n:o-tQR72f5FR 6Dm1H0_LMPzk˳w$ԗMK=l?C>6&4zvKLDm\D(kLfbUخb|pŮXڠIW?+ E Qg)@%!~nGWrS"y::йZc&_j(` J*+^F =2@MKC]&flϑf;憒YxQH :ub6߹JO1JH&T2eݭ"r(}'Eܞ(Ⱦ\$Mli\Iy1<.fcaɝ0+I >.OYǯ:vi%QV ⯒NN@O#hzn,R{e?YqB3& eV՗/^%"_hk2F,YN"z o{4s[p500a}p}=J|O6l0^Cg.C}D$&m8)eBY|Þ3 uLITf)4*{s6bj'W#USCitC&F,vvqޅR]gz$ZF`Q8!'grTߦzETc帪 '8@2.Πv _ox_n0/MnE!=:n~?Qӿ}'H~8:nw,mtv&ӭ+;Yޞ4M5Hd?zmMTol?$ëDRXtVDekdv"֠E_mpz¾cNhVa! !p"V_OwE7Ry=)TG :   c n!\j76X@_ꥻאRG$:r2G&͉OJPLpQ*R"؂W)V()p4^}X]eaBoZC+aPfo5\,L T||a\30Uqvw].)u<K^+"T 8v%u<`rAK~54cK72 e |$.E$r8';d)}/?M)үS5O@ߑRklr7?MM'ruZmO٪ErHJʲm?Z~J5=bX[&R|,.rv5"Wsan?*zx8` :@i@c1EsYDZ.*DΥkr Fn6o8̭uX< Wlܜ#@0@C-V njt2dСt7pֺtWc&3u s>;NVs*s^1u w:x.ݐ$x1ݼ 9v>k1B|4.LJՐy9&[KAx% (y 94/1M{x ;' q" ] qf5nŴ?y$>ޡޯOwd֘s JRܳ F{\e X~2Jl#x!>J(#@v3Uv%cQu0> ݏCt/]+S("sQ 8)%:Y G‚Xac4Z5VaTsR`{ej\m a^B0ӿ ADfW;,1F|]B魴/s>Z}^!\f! B#*k(S/InORILhDa!ٻ$Ww[f5t^p41nJFEmSg(RU~J]®A+waKo97ч+i !Nۡ8lWPJq&ŀ}|+ޝ鴜%;UxnqGwdxh'!2v>;$mACeY*3B%E-CXwȍZ[kg/SŐiR!ANR(X)BE0D)7< (y97X% /n}b&)B!-êbS 8sUy*pľA]]Pɫ0cqc1=85nASB*{%}%XM^9h!RVuɉ\+cm|$<?NY$xɸoyXx9= ?l)G ;81Pd p7\ (n$d&8LL 6| dWQ끶šitfsn4Пa떘wC=oI2 ^Xv85Im͢AHZ]umו?2ZncDp"X6z;\;SBDo8}׬-Ɖ\K}X%f5y@cvܼt~Lk!ڦ[3N@EIZwF9 j3b~ݟCNq'GRasa(OB 9pa{Y-`G}ߍ8B8;t.'8T&>C^;3ъ9S/$jΤuG@Wmͫ]k2ZN3- MBT[VȞ(`Ut()|%O<15i5&Gð͈s$ .!;xB#yMy-*]PCr_p^$K`q˿~@sSA PhOs\7s.ϯp*Y̞@6P4<9j4$"HY~ŒQ=kMW͆M8qGc4i.G!j'̥mo:[覩 Pvx내8'Rai -҆([E ]$|zc_*CET}G-`H EQ6'< Ex\GT-UFD+gSknib''@ş 2)ځ^>QHp MN ANu^flvDulVը#bqyX7*HX4WC'L 2؊ʧ8W#/ÞWFBKәR\kIVq'Gh1tRH8$C Y[S;ą>EC[:C#c{kܾ-Py!m1 ψr*tZ4ʵbƃ1jQCfd\s`kӫi@Cg&!z9l7IivԼp= TG=ܶqu.(SQ;h!:e(`I#+_`bIS96*u( [Re;^y2fCj;$^.Py;S ԌhMǑwlh@3 alg QDG_oc]|#ڗQXq܃\_ZL~c8qV'(iꋾ < w1EV1Kp qLOipňXCT u CM8vֳ]\tNu6dC>[c2 Bƻ@I#$Ֆ4={pQEFu7ڒq #Y0Ɇ(MYe z?̭k+Kx/s/'st)q[9w[g8J{PWB'OՕW Ts x~,TXAKr3䚡 336/]xU (hfP k1=‹zb ¶%0wp/s h0TR$XL#fXHD®#1.h f}/M]]\?ۀ-"Qٴ1Bs2a (zefMbw zmf񏛻"Ynf侵]Z Ilc8LJS%+OyEOgu)o80Ooa zK]#;0k06Mcu€g6<\$>E9nwfYš%"Hy8byDLSX' \aɮV?Ŗ|Ƈm#E5C|ďQ;jNIco=LEtubx|`NFe}wɌcJPH@:␨˥yqߗEpinQ.Ӑ.g.+Y3@6T "9{3;ADծ3ZYZ_ \C@#ޢ`3# o=?T1Б G{klG-kgJ2`Y+5 m ]CTF{}x\gYZ61cfdb28e17e52c2f9d589e6ba7a8a5167ad326ad3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 5259e2dea2674c3bbd0dff7545ea77936488882c 819ba6acd0b6362f6a13fcc1a3b4fe45a4f4437c b2b885f0dbf561de003595b7b08f3161afca18e15f24b1b6e8b2350cc0a6c8fb74056a2b1da245ce