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   N)4 ]%]Groebner_Bases:threads=4elapsed=347.428cpu=1255.140gc=154.808factor=3.617zXZִF! `=#9]ŗXf[&CiDu;\#\)E9-Ch{[n&1;ƕ`6HR`$NU5HDžW,W9~a) `tDUSnMUqlt4oc{wԸ_ȠV""ŔFrlI&~R` 7?$Keqr*L9X1B$E lK{*26n"yy3Kݰ7pYd?qx+K?^OkťQ~Rw{aR.' %rx|z.ڕ9+0xŰe~E'dHa66' M[}/^g Z)pdQJ@;i;YЖæ…;D;,--VAxWfdN֡h/'C͆{p{rKV{Qk[bS,6Le;~sONY'ETؕ`%X%(k3,KS[Nja2p%DBP)m$~)>#n;onB\hI}A^*[2@vNG=.PE_; \g 8і21`U.gec΢Keuw_E٩k- )ع(o3.-d$4䍆y4mXDI}^?zDB/N˾^|֫DSL?2[P*.v}3n5bT"i<^EJ8T2@ =hq~"SGjUnMTkJQlCx'OcS",0_"<B\3v >U`#n[ { NK -R0Jm}F{'M:j2([  E Ɗzgx,-B\ǰgl$!*zMY7z{[_.cjA? x(~ƛI6B$_r/DhbA|ZÞۈؕZ ƯRP{v DU÷(K*q09"͚`ć_/섐 j)o^WP"8cYfԷ5~ɢZ5uᑏj:rut{_$X ~Rbء(P=MC㲀͡AiC~c-{+d\L m wC-wlD39ER a¾3F:`qaDj&=;0_0Xq1 n-6y4cç>7e& 3Rop,`<W \X%>v(;\FwM;ro9JpzXZzᴓTz@4u Ok`6)G28rDnv1@Rgu:ݻȱbP?|#bZE"\aZjGBO9=A ak8y''/y=5㊳6'])FZ^tB Mk9nڧB̴/a-u bж+`Gs` [GUI%Nt^ž7KGB!TaTt=*p2)diq]3Lx%  [^XNdb"\W6&n73M)ە*wYwl>"dպ _<`ǹՍ΅gTej ft\5Gt#U±CZiQ SFE>нGKԼdJ dY||󢋥A\䶤FWP&})(c7Ij$<|OF kKZ'_EL+rXE7KY9- ד:`'Zoxbj ~@91\0JʺlŎ5Z%%Bˈa+ Q&TAr4ՂnH$7.PTvq@QpUQXPK*q—5%Xu  275X \n_d~g ϵH`Zh ) Groebner_Bases  h P2R`rԅR&K*٠_xݯט|W ]F Z:y#SqTGr o/ex{zSK,}TCNV|:ip1n9uȝ֡ё(P/bO[|6;ezeZࢾ c G.Rc0I @kb'Aǖ(˳W /U482NQXFf!']V$#[eZ LB;ػ%z~i uA)6Bh~sA)cN$pܝ& W]: N➜B gk< .c`k 'I#P]4I=Pmn: v7وJg&$5a_s/}%4ſU֢l;*#9-\^X<R<5ځJK,6ҍ4[Ifw"ΕpsQN_]bۮÈko_l"(|4H N=&H0*jw\r(Wm$o5 3*^L=9N%s8x~]k]ehguqKq372V-,>M;c2<|yX/䃛UeS[)B6(+(tO6Q8RCvU8bA=,CV)1cXLh'B>xU\D| Ěa W1q>[RNM&bB ҦÀqɸڧb`YdM+~Q_RT1j^(! WQ M>~^{l>?a640yW" ({R[N˳C4O|*M.A; R5eH 8N ONVKaA݋U^|g{;(.Rnf!P@޸x8^L]D]sofSLc[hm ϣX@Y6"qkvzLz/^묢YH&(X=$V)U{߀;HCƹyixQݪ2t"IXW`o-^-n EJWfrۇSXLjn:ra,6&&y[3hL5Vrr y"$9Z} 髄r_\2k~F-ȳ'nFo: ~>)5ϒ' r113ŤT:B&J%6{1 IHU(:tzUR-ٱ+(хϐ7RB~N -@xZq{1.S{P'Z!kLPw%e+U(TbԱ AeXw9ʅJN3f"sۻ1} tuv~ZH6CYNISs~sٯOsڭ=Xa*Ke+)MH N`w!2o8P RG2TKBR_)rUD~h켟ULhgU K0hlycL 56 ai+.H`;$|~Đ1/M! XZԴ-9E6W~?P{2f<Tk'ih1r2 r>˯KcI&T_E]oGCf@jDzB,Tkhq\}lVC6D9ҏ`7P*@X"kof TߠZw pa-AgY!H迄𠸣?š-w|@8o8te4\y@E<ہ{wu趡AO+D7K46vMLɫ$bYܟި.^$׳ɮMFYb 9uK~jgˁ_=>އ<ĝ=bllEz.QڢCfU'Z#+9(v*W~Ã׼J &`of:O8^CD"]nӤr7љ Q@@.9%nˇ66Oo#djuH6omvwƟ:9B~|S+ m`\_7ky~2殁sx]Y)=3Ǘرvb9 EjwwqN7gLk€G7hldBes\[6$xih-FraՊG2idD Kϫ/8h 0!ӧlO(/Ɓ 6fc琒paV ā9H'rΐ 5sr=tJ; E2q3"֝S#Iӗ(̢녦oG#bfX;Ƽ DtWnF06[Y 'a8wz/7 8%0KEGثccZAhlkAD}ktأ[}c>ΪʎF <[GL&[S8CZ祛DNz72$0=ʿ^Pw#'- HXe)ڕ N%{1$dg/_&f'Ԝ9)nGb!*gS4{UF #¦cP#lp0=3U8[\h金Q2d@ɍ55&nU!E⦠(R/(ؽ#ـ|泾6#nwRt;eDdvʾōSєlh4SG >q\ou[VͰ-o v&,T_Wʄ_'7V E<`{ճ9o(\D:.w(A'-Ⴌ0ႎJ_![`DaGb, #5)EL(3b/6t$c8A]Wd 2QdQ'vvMCfJvLq )]g2}{Y?5 :rS-| %f+eׅ LkqopK  t^x\O,4űikHlڗL)'HHZʬ{/-?Ӡ6?^<z5 pOծVST⥎87ql!y?Z2vboG@$IgwIHkp\U|?Y_QV7bLff{j {m;0p%@Z|`=>J:QU9g@vSfy|]_3S՞u<_6ܘHjB#o/<]m$.~98hm#L~hpU+:3|=kB' {ݖl?)o9QNL>4nJJ?Ǚnq=LO3YhLkVEufKf #j_4Q&6!a_VdT-?ԙ]]=6z'QS8ZQUXo"g,ς7hۄaHsD*rz6Mj@B/~KɢD@DVkta@NsUv5VJֽZX&I7bZ XC?U>=gNŷ!cP?NEl="~{|*i>ⴉE=tr[gFSr>i/Vv~_|!qO8bް5F}]lg*olL+Hp\mR2sՏdv<:SɾJa0ȝ1J4,..UG9%-:k[|{0;3࣭0s \HD7O0$dȿìq9d\`m]U Çh7>|H2+ľH?,z6@`%wS1+ppɠ*˜/wj|T)GQ&4l_h V|<XqB3᪊BWm\T/GͯM ɥv]/@qB4F!KAMsl%Q-Ԁ|zҵq'h1%J78!t }:?hoN]"HyY‚U0If%#{I؂5W8qD*$H1M}Ǟc1@c aрAI%@Ir^9(IX|JH6lJ'0#3^/iCj,Q`MɏJňDdWcv~]5$:\fQ)3wU20s먰gh`2,.ʤ#{43%DP*s`BB{+Ct bT*ݛH+t z"x@kH']^6M"()P;}eBNpX,m _MR?uv_9<7U'p;Eo9aP'4;V-֍g![~E8!C)2b̵EwL+ qz/V-_Av Ḳ.Gn VC</[aU]U Af:71|Yp[S[zJrY-;OW `6_%3_ϱ_@Jb*/EKz`1ŝ@;-J0-`:Q֝0 fP~`5<6l(P 5=TFgYZ7zXZִF! 3`a]ŗXi%L /I9!&[*haqhEo.?̪+t~f*<ÕolUĄoFxw`95OxD# R!BfrX'3ypb] |S{Z]Xx10֙bWf5uM[s"NZ3O5x +i݈..z~#"0* v67}gWfgS gNy3B5_Iz]h ! ?O x]74s,#ebo.Ӵ%TYdʤt@Ӯ1O)V4Mӄe۫>,MC(kdeI_mVԷI QiÌύ??PkDpV,Z\ϢM.o~o"N56qd1T׉ɘűq%M oeWa?&|pS ,nES([ajox~ W-VAy+gd۪D +;; rVWW}=&iu^I|cwd ՗? 4i Lj?,{%78PLd  G`VnḽISpuցlZ ҊI"0 6a ?:fwv6 #yǃe;*l˳UN<QX 'z"y\}9 ~KrGuNÉ+2+ڶ+X@YaU<G\+q-֏O5(E/f+-K1&`YP" 'u3tl{OoAϏMJCa7] 5vLubtZuGQڣ{ⷎâvl1t9;D,T7?zIY0} iȢAR5>)^Q!,Ak2=b([:RNMpW3񁩸.eT99x _,A^聲m$1u?XRMjo#JΐB;z izC1  ?PHvzZݜ33fT-CߵKڕtWI=#ܷg)ܠL?hzѝK{R;Ьx1S.! NTpq-QVc\69nʁ8"f;. W7|T(O}f[4u8aT80J\1\P逕wX0LNb ,,(TcPѰȃ0+6ޕ6FV$(GpFhCI",D,/UkNubc#,X's19vM c{Jy!+yV;+xq l ᫷@cq+m-;U\޶AC5 p K:5QѷzL.Am:`Ii31TFiIO'~ʹfj|AI?FZP誰SC("+'JUn-3r-k6aD:e X |xC t|p!-S9MkI &opx 8.8^ 00^1,P=l_6, ?Z'O]^F!KA@hb\ҩh\^B"Vv W•wmXi;>#Grɞ@v#6#4jSgB\5~ 8-uZ [ex5E %,tOmf5z WoekoQlC130/dS&O9˗*F4Ʊ͡?ɇF8 fKtF&WUo%9F|sj.3Ay=ԩUSDC€!]weCW!s0J;iW9񁐫}H'Ș!=g=(,nn=m*Ǯ`v!`J2)`y1'>a7p#Wg&0,Ҏ𜴏?/u/b²PX3Z JiVOh!IIws/`;:-e; PĀsL5B6"]՛V :CRxs!9giꥴij\ d녾,oÓiP`+mi4ʖh72~`{"&,^Ɂx^hCDRX֐أ3{7H3q0OwEj"zk].M8Nk>FΟp _4C]wK؎?".j(9[_6f  |*\q+Xp UȠ/qU7vZGMo!:RCrEîvk+6ZEA|+)n5szWUlK>榣#brtڃ0O5(K/P1]-iI%@'ަmU gZ۟8ک}_~W`-vP%}S}]-Zci~5f35{Qx=XnTCsEPdRNj{Bmq nxѣK/A2l(\"+ܵdyמ&8찎;̌Q#$2 #؇*gq- e|m(71MVRXc[^ kGl~*&vV;;y4*% zqBt93+emb-fLS+:%oY%IR9N^7M#Ic2f[=7P="!O$D+>@|RmzMnh;28q r=6FGN9FsZ ;RL uC/iu jb2n)9Ovl$P-Т%iZ%_Dm}+Ήi\F Ɩ.M ļ8<Ǵ_ssF N'ʗ`"N:ޘ=k`XA3\#RB^/s䔦XPu-H *=cޒ1*Kj}E T4#L{4-ta{og]ܦ~u0DŽrr tgNG5)0:BHҡZive##@iղPaLGɗL(hslQI} wa znˡoua{)AlDU]ku[<Ԗ[偍ڊLv͕hq]4FE)m^(TAقc_ =yK= cdLШr*SԣU@R5(Rݍ}zg;Rd& <#6uS!Kir௢&ikãAѴ}Z6Ǽbg~EwQs r W0Z ^MDbMCj, ?(+ ' ]G hQVp橲| ;&uӵ(Xfʗ!| C>g-=Y(Dc <x 0#ӻDNp#N59/uwHr= ) leD .omkοV\0_%W[uH||Mܳ;(Q3<ͱ&h\;AsdA*'.Ee?S6'Ocтڥ5?6 4^vAEdYl>5F#si0:^d \*Y-OL< 6/KmOVH>znEfh}ROX faRZjQ{f,^ԨD$nfNqm2#u]87C瑄'7=k]Q!C6\ݠ:ꨶ_/Ϲ)vrO]M࣮|XEp?%\IkSN3@J^ ˴ò-0"^Oȇ˧j@㛂Hz6 zgFt!Γ#9Ӗc:M%i&^?Y[&v9}MG@B,|#C=6TVv:`Swz[n %˵3}iA\FH)-<⛩[Y4?%* oI[.LH6FDB}C$V3Pڅr3+o QsB1ý}7,|6O~]5=cxtQ3- nN}2m+nK"Pvtc\ cbUqz]/iXӠ)0ɀ5i'85I4^B\R^[.b}p`1U;c_sTORbc)%[Eǿ"fϽUSaHYi ^G*adyesv8'G:̥aT汐p2'U+ƺ8#A:T5|Ԧbud,lW#ʔ'7"]J;a3s[`{Z*wS"Lj*|ߒU`L5N=-p6d*R"؝A2 9}8듚9 x@$|]PܭgLX6ՠdZ#vG$(/ _ 6'epaV@xeeaExtiVϥWEv7ȋr[EZd$V.`~MT^o"H} 5}])n=ME0XyaoL&o[^h)0+1a=]hRԧiy#G7PLEPK)]^MMM@q΅"$HKKP}Cs&%%V_͉ĭH<*ŝXhrQk0:%"U~,3߇;A!F#;c%SiL|HIL딻Ճ^-!΁u K\?2bi? Y.R6UZg>([, ڧJS~J+l>S;uxyhtCd}ᣕw*ՠ⽾-u=^I,R;/ČHZd7sF7~{H <Ƴ],Pw9/hxOwUs|| a\P>.N 4f3 u3ÍD!-#m/%[m ^}kg廜IX` ${FѬ, 6IbG@)(}:JgT*w|8?v zyd_,GZMcZQ^ _ ;Y\5+"X@{ w:-L,u9ga 8(S}4FU$_Um]] \kH|Z{[~~!2 5\z(:oh>k e]Krqol)DN8٥t dAhLEu54gÂȜ c^:}=]+t$1.w0 M, ʡRxF=g/|O@g^(a:[E>>6 ek+N?#yb'*]$B9u |HH6G&+)SClHf4jREZ&Sy 5]䓒 8Y4Ȣi\r m[[; ؚ#, ZJ߀ ^zea^S*z"Zz4Sxʂ?ct5PkG8ۙ N׮r1<6`-.rlNWkR bFߒC]Ix&YU.6{ tөuղVWcw54j6+HF/KY.6$G"/W[A#<+T- ;6說I_9Dv)Z#%%' DBLa×&e߁o Ãf_}pڭDbVV{6̃ lKuFF[I>Er@-YEhz{\E< C=eY4PGZ\<]=-P߅$(cu)aFro/HO~L?U3hUAAVړgEiK<eeVj#ɩKu@լqn9 Hmt _r,w]#58O<8}`o18흾)~n'kJ-|&H<1h n䕵b s:򊦧xsqKe1VhY\;ϣ/ޟ5Kh\iA*T~b]m5'L7jPi *J+9jf1<ԢMFYĸ?s&Lp=?o" 2Z|,Z$6N${jU w!MBxLo8ɧ8) K\Exͨ:K}7bh%Af#m ثBwpao@Μn"JpZa8a t$w憦 GVƴW4݌@_n>Oq)/,{"cIZăqtS=R//H o*jt5BcQ*Zl8R VKƨ /'F)ƅVHx#Nׯi4E\hIvj;"HɞWyag=x;~+HuH֒3G>쮁+z4wC$5ߊbI{pPu[cxl_$J5-ሔOk$gn_),QǗݿaM>K̨(8wL#{˦SP,>\c =@ \*G0g5w9| 01y,R8Ǔ b_2PC. #-8&mu(I\Yz%iG|1ѧ/%P)}qWX4Dxӡ5Vs8I9ކdg5PH$"iJ_$4>2O-i/ |(E*@adyHQeqiM0QL5Jm&')5Y_G՘ a7@K㗵A`~  BF9ʂ=̰|CRvP|];6T; 2Ƣ]:ej;i+$ R~d{U0z#^T쓻8AIq!yMކfAck ' 70([7<:[yץEQ [&z" 5; ٞ'ܰ,d".q|go]@<@nނ[9OsitRbԨ+\ki;%#uB%g7h; l-1fz }W_Ndɋ^f]Yhܡ&kLCjm?=&jk+uq{.k--·eə5ɇhhvD|tu8cODQ=?+vCD:ŶkN礲xyK:IaҸ-!gJ΍X"FPj"IJc cnװxt*Ӱ)Џn>Fm*mq\ ŁrSO^ì 7s;N\RhKaS;{]ɐ\U8ʼp .0^M`Qğ~hN%vR֘xU$ GnIl@ VW>otFG[׼ dQ47<<cy+4cj5~BX]\Si3cѯ>QsRZ9[vSBBe3 v5qY2W;]N ͯ }Vi7) KJ|yWWHoS%n? /4upFȪ) NċF\a4v:F$NC ?e2&^ !J-5LKgDI෹mddHAMp!k+t1=!òg|sP9LR g+Wx'(0)V$Q)x WnnP3Gq.>]g":s"7V%"@I|~g Y· J!>nL= ry YAjQ; KZ)ةh8ik@Z, 6:k 𢹻)T f jwrчw#vL}xgg$g.=p.:}Ѿ wHUwDVsپfMQ+: 4AД !j+ӕ)!)D?y⌊1,Cd0EZFMn&.q8)͛]Beų]m; Iu1&ڋgN/ޥw*;S;pp.;] D=(7LpUJi)@E akM&Kr/ėH c:WH.k/]wmY8PF#l2H\iOK S (ۿA<^lEoƙfqXdW5N46dM@]׽.:i|aVcAak::3#Wnϐ\z;@X*U.)y 6 PJpu@KߖAd|TnU Oۻz/lLs^ؼJQb\ \ǓK@*ȪлiozеWBBPv-.s8 IIE8@Q( k+SExn/un){&g>~ & b{)"snbذ8 +8e>?t{ ?[3sILޜbzՐ~:ez! /'j4@kk+^qM:e%x O}DI4᥹1~eHo%rS9фVG9IՅqVz- ߴ7hߕ?`w/ԆNe_ƧD(rqZEۺ]qF/N/N%$LK W3\:&(Bc }UHLI0Ͼ384xN5 !3rEа3SeqfbRp-HV䍲/Ca#b(7Y`Ȗ֗ gfƘVv;V76+ ~ǿC!:&*&)މ r}Ar#3/`.leۜxv U'"h.xf-V3oс53U8sOW" ik݅aeP Wz;{Sc\Imd5rBbVj w^M#:=L1mXւ '{=T. {,G\7R!+@٫\r24 @7a>syK(-u1~#j"v -UnպiK9hJy/f}.^wG%f7j()f8>C!> VH]U[uEZ)"ä&XA5u5MښMޒH/B}\X  g=7塀kmn+lFh ht;< m\2FT F%;u]*(nkX's`ޤI*ȝ>Oք ӹh%-|mP$U" 6e#'@՟^QXRwlܱn pb>[GEooz緇f"^H(kk*D# λYD 04CXaSG7_mgw9 %jvNj% ծι,''B:,ד=jEPR_g)m0h}0'5/2{h".~a +F ZrY%Z㹍nFS $I_?@V∞t~MUeFy(h|//zFC {j*SG]׫v$13 _$g$CSWRqNM+F*6Vt#EySG^Dq׎eGq jsڂ5l$,_p &tUNc}ـA4UQ@8?(77D+JYKгM1CZُ A+IփW"u醏*Q_;$A \&B: XZև@a/#0ˆkv6R:+3ϣZOA쬗Ҋ0Va~SlNl"V zBghKaPVWsPDb0b8l鄟Iʼ[aAĽki^揅n_þzݝ p=lD$)=lUH:\t.b)樰Y֐&C]~1?"e+ H;tYAG߲AբHEc3մ[rz|<D,U {Ej'C3EC㋐ifT9Tmtp;+O#}|ަQ:޳w݈䂘k:ևi򥶄Xdf?/;ņ>{~N$ v&ko5h[CB*9Q,!QdnCB2_pK<`? "uʟ k,LfNp G*Rho O$JmdvQ%uGyy쥅f T5,k;ԑZ k(;Sl\$PUfNeyϝaAlKn!rm^L 63⏢]su)*=M.1K:7 :%Ҩ@l R'k^\c7;% SDu>5TǨh2xڮG6VKR\llx]K:ypzJG_Z E)wM^?{&.MU~9jnnðg=2^ "޽@i[eGնesTqZYLdH SO]Ŧ-Д1FԊlcO?Ƅa qU9~X{JM쫥[b[4oVM? oYjl[а40ǓYb8١tfԽ9gl ώڌ`3wYycty-@?|s0âc74`FUA`RgHAp zHNĒm+|N Q"yd2H%5QPkWW@䀻y2zMz&ӴVI ,h0_8!vS 8פ)$|C8tځ ?Q^U8+y$ ͫ.ƺ/pAy)f ?u`jAuuYܷC U׉^d-!>e;i]/lyTB8DPO'[*$sߍ ܞ[SY?RMǸzezkݣF#B Hn?k(B\ 59s|0\+?pDU~W6n֟j47NLtT/1Qj*}QV^:FUTQB$8xDV#Ve婁kUW^s]l2C?8f a %įT9MҸW{E:gW:zWx[ݯbw5ŜV:?C> $|pDe7fھII 7p5s pȥV̭uV CjNGm FSܞq@3^~'3Wwerl# j.r~q8>dEEK8htnn7!y)eҼMs^K;=C*pF^4³Ad1v}ZP. k͍T%NLЩ-۳dkL!E;/SJu½rk[ΪHG@x xHKk:US4F8ל/tN:ǭkjhUߤ_VISMe#12_3АSn2k6*ꥪF&LRAKH5.`@[!dnhq3N4oF $wՉVDdǡN3y_הwn,睠o9)",=Ͳ0*bd!m4d3m$.ytR2sk,8:t U,sBTK[[et37^6!bUhhbw+CDR7.)DH^BJ"΃(H*;OQ5:= ש\ Q3P :{Z6FL#{;[ramF:~n68 )0]wB 5ajt"𷏦?on ѺpәY'f M -Ik9ؔ~gGƞPV?I M}nwsUm;,&JE#H<6ʥlW%2 ;= Y׀u5$@;][G$|yp9yZt{wje&$X6@Eu{&\\F\6xZP`YoJ$G>?tXKvr>;#B%w7ƹ]F8U>FKXp``^ ;&zZ mӢ ECݝ6%" `sHkO/Lr˼gDh_S h:qB}LsRz l>\6`爄Ȥ&mnꛪBYͣQkF2\Hsj9QUohD% wJCC0 V΂Lχ82rd1=O)7O4,mwu%8فV!ތr|=hno%Tjgu+qR;Z* 1y||=lN9rʊ:\>L1BXotZ4'1 aJ6!Mxsip.6L*{N`IL%A3]w!Ҋ˟xhT35φ. z6 w -8偪y-__&]C&H|j.'PWG~B3r[(Ɵ:Xr猖S5`-uI2Sa׬e=k {k&J zFX`|^~XU"uXkFl;Z@ID&[V4uHlϠo$ e}>>H=eܪZ!8>Pm\g8ؒLsa,_\)>鸕PW,\%t{f݁ܝ@3*w5*Tfymg% NDC4e$8wR䢪Bh1r$~4:rnu1W]48\C>8Oe{8eOnK(ejͻt|:dwdޝ<49וpz\᜾M"S.ea>v/Chnѳr!DSiֆʪjP;_u~ZIeN׶?9Ĉ3`Q ӂOqs6=1i' b3'Y#w^*\߼x)-j͊Gh2[L{#c6٪03~C!}HC>ݶ^(L9ͻcpME֟'A fqOiPer7j/PV!V;;Ol{4L =1aJk+.oP!i8Ń2<%in ̐"3S2o R3;qJ&1 9e$I} !|FT N{L¾Cw pfcկʸekRs+4bhY7EA0.},+ ɋ1M`,AV5_1UZWSln>Öȅ/S?V>mF]arUPTc^O~`c'ZM^/=LҼ. Gφ~]şSZtpB0~"ANјPRJA"Ot5EjL8ǹOgk< exur0&D"]^,(ߢS\a=I]'ޑ3Y'iKvSm (rcb5{05qDcUYsc VXAr5 X‘F=6I1Dџ6\rHc58b!K2Nj9r߿{i%s>)m.VSJp_H!t\}|Xa3 "kIs|Mv߁K+Zt| W14wM?řUSjmmkzbcݎ zQ#x?mC9*}z1wؼi[Ft=H hlSE9.$l#`+ $=ڤ:_bZh}f3v븧e}Y6X?<#ނW;G湷̂r@. j3&`8£#Ppr A&¤b-3]t~BA,0! ͏VՋx ~٩/`{]מJ`Uhz:d܃&fhº4m r̖\eiO?Å=i#a%{,q/6օ4)6#WZWl\=aОYUʯ|f[-d5Sg!ԑpA-Yp#+“4e=@MA&,4&{7 ZwţQ䧩tQHiN3G>844iVYrĵ4XwFia_]B()A;fiu`"2AKIJ}&KI8Ӿ1}rX*lf_$|iyawsV5g6\0 WZ2/m;;%\S{{lH^PH[C n3oN?U8Bayr#gYZ00378327175fcf1bbb20f02f889acf3751f0e32cd3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 2b11f4ccb587528b98467ed17165aa165adff39b c7a0a4539cbc380eb066dd96bc0c5c4425968ead 09b53a0ea83f2135f0dad794ffb9fccb717c814b1fc68c2f98003403f20e284b6f3174f6eb388008