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 =1d\ ]w]Jordan_Normal_Form:threads=4elapsed=387.293cpu=1149.684gc=24.392factor=2.977zXZִF! ]c]ŗXf[&ɉOW7IÒ66y2bԖl |F֠BQ;Pw#ތH6Zro m̤?E]ƨwfY4C]. {f1j$\*hmPA~CTow ֶ&LeuFU/9Ȯ)mxr|ޅ<Υ1/1zP5ʡ$}p\ eaj<s(k?t@]j4s20_p[/,. ,EiS.mZ-MLȱ횾5jqH~]4'+# O]\_OEV$\~3J{x 2ˡN|4Ly1qMJ9πȢc*[~fTt{ڭe)YUqBH _5*nT Eb '<]glh=\&LJ@ײܥcZOo^^#46R9/Fp/7Fb[ U [~RLΑbyyaU0b|r &Mzk=4:42#uvL3HHtw.rDOǎnfbbv&qv;`Mł v>1hACE1/uP;/6ǘq?D}a%|ǪBQL;FJH ubL8YD?+d)7b<1B 5@m#O  B]G%(Yb :d9(/"#*֏F&C_Sm^Lb0p{Qΐaj!C~v'dgeG<RaJ&N zܯ]AZH`2B6w=x nM8X4AN>"}?S"` /Y7EAvCpMMSҤR+.n`nXk~,-~c?uz'f S6exku./:/k#,M/i7Kw!ӧAK^xBq%ӳ%?0~o$JZUF!Fv-mCS/yj.䏹xPL3LfσJLU'*W0G*:wC"5plQJaFF4 >A%p-thA%K*} K@+v8} $K#ۃ*|c=EW9y}T_u+/?<orN`OR3 Aц+#daټOFJoȚY]ȗamy;tl4G 1O'*}l/!XmǧrTkv#ҹzO;UE0V1/(3((pZp%EV)!:P^1l;b*LD]| w{pW1+ACΠ8Ib0Ԩ5|kwsrIIӓ8Axy@;9@4ޚgv eUr}*v uf K8qX'9/Sȸ{@)q4< #tb8cumW`aI u[Z¤M&<VE<]gy|n-7^M`>YzyVp&IѵBAȊgZ#P9\|rڕE$$(co,!g*&d?dr6_*)ߥgR6\OЋẆ\ Rتt{HϬY¢9*S"n.a.FPnɆU˻$ԙz2H#hz_gsD PD^c @ <6A<̨PE=:/ʂQkSvLH xb+ˈA8J4fT碚8VQ}~݄lX֪JKƲyuP9 \}g!~voq8)tK _-7/Gp2RfzZwI.7uv~5/}dy]m-~,{NGѩgYC,ZG!P{'CbK΅,2֍)\t~M22@OI3B)_Xg'J,8n-7)Gԇ0$%>KeGXЕœ`y6m[6J1{;{r,k}\)1:_&rCX>hR}lkW׍nI 1 Jordan_Normal_Form  Vzց&~Jb#p`ߋ:W| bㆉ;aiG-Wo܏[EP.É ҆"6zK%S/bʹ|CIGٕO)\yT5ݑ:jrj>>eyڣ2!AÌJ[u9u@u5#*%SKkI'=yEdՈ! G_.ףU43wuO# A̪ug`+ =lp ~i}ߖ$PC ̭m%2}ZaCQPo+ ri|Kr:xQQӥ0ct`/gH I`Zg]%AGfJ^ӲaV2!$t!u:(t ç[Q\&+@⬼3&qV!8X:7d5lHb'Vt!]@i kN%Z@yL, ҩLOw1ksH{t?bT\Af 'MsGe(}R,d4~ȸ\.y838"p!o=?uVcg4aarN8b59`z4ĩ@T44!X[^ "C!Y!5;aBLOKZb"v@_Sw>?Z>j=J+4HKvCOwu Z% |LVN#WUI1xӈz҆Xu2nݻW̪tr('=2Lj=(k킚 N~5XH5ח޴me۷p !G"tu\]MJ ~mˤ5 gLz{} ym}?>N`)1&fD \cWQX}'inV!{1Yy~r@b$sj"$/~|Rm)yU`+"[;J9.G!~ 5*F'Knp4ƀҍhV##r^O,vV!TTC\]ڽi钓QK /S乂?Yo=3ߖu:Ӌ>q f=coG|5]qwХw˦fc :GSRd;@JNeFo #iELȵf J?J0s;_=^- &4h6D|UrhuQ6ش鐿,1ozoAZ2a܇htrL<+h/'fmԪ/-F}7T"o0ȧ|jN[+DO إQsCٴ#f{uЦP"ڭSF3Ô8$d7H`>+Pr/|"mxRIY6!/=~CV9\qfeKA &Gk8 3f ^9}@@  C2V`f6z A_ȝQ}t\2:]># \< [k<%-91Sꦸ9obGZQ-O?K ^^`A6U:^h9;nb A\?PԊS8.}ppܟ5^ը:5<7<ʯU}G,R" l&']<]δ^~8Y!%6IcJdqF1&l1MZأJ}8T;vz[M((x9onr'WCWH&wp9oG.I}w a|sa diJsA#K,8PC UXpߟF?,+Us՛< rHyfBow?nz3gՓD{2wsRO%tipjEP8l)SL3U3[r*f"oC;HE"Le*I*Z8SGEH|cn3\kfcPjDSԤ7vMcA Uހ ʿ|l\H3LNz}qwI `KkRG:I~[`75͆mRafZB| l)n3lfv~Meoc \gFew93!#y 4>NV?>H>qK96JnGw.S rsR+Ѷmp[U$ *_m_whiؤte0G3 Kw#u{9R; KD)`Eab_Wg &Hp1Τd$&)(_w]M kK ktn]<ڕWFW˃j*;d܌a  A6iW4rIvƽѩ5GNQ :QJBJUe(֟hpS/J]s4{U\ Œ.?4Fg|9Odn\$'e-q7 &/fp^1oO l}Xݡ{NVΒmM D FAbx-4_AQ҆fm[S^8XľgYZ7zXZִF! *]ŗXiɟNGW=:;G v{@:Y*wkcTLJ@iSrI߀{_Ggoê>ګt$eutSxS<Rj[,|{#iMc1hAKBn$FZbIKF,XՄ7phrG"z}8@"6{ZC_(nKM9HHޒ+y3dE#o ҅!BVZ~G s!RK.c]^(5ω=X0#"nQ /Pׂ>غ𭺦x٩[>K!Vo{kq;a rX陱y } ?_y!9j2 .uHnNn](ێv+q@kkAyF䔙ӽxbE!Jĸ f9lj|S`{5jmplrNg+/Mp>!߫7݂)hkׯC{?((Z";: һEHMH]] l _W1Ɋky6B;3^T =2,TGZraVez07saKNCIXrlB_qQd+TI$Xu՚&n f5 T0zhJ3JPP(St^[F zfTH5/96,\UQ^78`nJGQqT=^QP>WΉ숺 "BA"Y>(jũ[+i-gYZ7zXZִF! 裠j]ŗXi%Gf}PEFYhn&# f\`[|&AJYWil]&QqA͕Y(Uzm ImB$#)y+X @[w@-n54Y*6pchXM[ Pۄٜ!],%R`Q$Il6>N~4 c<*[؎YB]쁮E| 7@ɲ>U&ַ0_ܒQu+@ᢉ:$`϶)Z _Z)`# #?fWhv¡S/bf ud3Q}>PbXw蹼TS9mn{0)ݭ7ӹjQ,\-v$N2HOٲA u6OZ9(2Fef 6т'j$oAˈ("du%X/pik4{E+8<Cw+3k[$F0PZ" >G4_P>vqLa" <Ǖho R"%py$QOZj)!zR^MBGTA;kAZnV Zͽ7@)T`IQe:(9+oyG6p˗mB aۣ|E~wK*YAIua]HիL-tdiD02ЋI%쾩FT]R7-W oCu|(%gd`k ue}fMq,;7i3>Ē 2`w/;>$2/ykUЭ'0Dd6^(9iSi,hi2S$]%/QKch.7+ ]+o LRǗ%HdsF'9xS)Syq[A Ϝj8خ?hPW%P3x[4|Y(sq[ YI]nR㈕C[ %ZlxWGؒdA2Ck6MTruC6S#@Q"ҳlRܜ8ץ 6z*Dxx=jwgQNhPoX=!ѨAKsvY!c3^r<&ua2D~I:Q2.*OҘGdKduNj1cc]wE &Oe)"Qx/Y2*.d FHie)8+gͺqדh-gq>.[qgjmk1@f-d7(YkQ;cy|#$WIN)%5~3.k% EZ-FR6HMB{6 j.Ո_VwhlS?$%}^ohUu8irjRѸn}[׋itwQ ®v{Ğ!"X&\j2psT&9vVeeurTf ;#6$<C`)d4s!*(Ռ$H5OCYΗT"|3X Fa߶T) 5)^l\i ^Swni !ָPN^`=:Aem6܎EcV|?95^N?nzT14=52[w\[%MEK .cDT٥,O%uZPIf'9*/2TMeͶzQĶZsk ~(&d ?m=K_pWÁ< ،*"2bb1GI2!L^\sbcǢ5|;ib<8k= m$I5eP9:l߸ }peTM0JMTDioZGNXaZ֯jVCA?i1e0хh&lRC娶W*LZ[8t$FP1Hʈ;|c+|jz6 O>B{E+H3<.v/ܿ>@`7,őM@VʡӾhF!JTq4EcBR=:ϿTFZl 9 ti*IGF@]t_Em yr!~A. {p%w,?,H\ a㕥lAƽ_SEC) bQx-GFkF7f7P]yӎ߸NZE!揥[jN3`Kˎ)VG*}Ug8hjКu3#P:l_fŚ¯.jYG9zY(o_weXH7q:R?7b-4Dw.6@׎%} >0YgH١5)bc &ei^͂;!bD`m?W 䍹y?j]xki~R;zϹ*S*vJfD!%`ϯ en鋫n#& d^;>e@t[˃ }v*>ÂD5_MP$Pؒ?NK*8S}+>PPLLl٧ۊlI/ EN|gԗ 2_vuwѤ.J"<6]?85YjGJL%OzTx}baw=#V⢖FteelͨJ02kx:R9?gI8Yo k/xa/pP6L,S-g^Ona\7|~``_\T#kY 8:l_ޮw.g6n2s#k*.{Jvn  v!wx%迗sIz)SS1r=}TO(hgBStSMv Ad1li-@3bI~Qac"n'IO40]j~B"o@zgQ1:Eؕ[MIwDIRӝ'{rvN'{v=@\T!f{m~j{;rQE$sm_r:qeg9##/ޖ~,"+qQzCfqsriZP/8JP7 $h R:)ȊDm;4\ :WzHteO2o$ʀ6\`%k'8U6-K ƗQlsH@TH)  'aqԁx_-9]MsB%B8#W$DP(K/vNyoxb({E&&;QREn?"iﶅ@Mѝ}*& leV-*QvN87In-qdž nWhiՐ{F#~yq1jok3O@7ģab*BqE2zBϘzkSZ:-N ո.ogTǛ^KWMiY{8>!0t%3 {4n )+L> qf U@2]T4ɩN>ihՕW^:.<+[h"ٯ}=Ψ_֟!Щ\5cb^ eJ*P?V\tVOP'dm0RJ~Éss ?f/k%0rᾥNM. XvB|aul)1:k7ᛀ;;i,zz$ DM+Sʩ,,J=ܛZ+eZKU÷guH-w2Q)-U -HhݑXBUo74./L&P_Nt1VnA0ClUTZOcA`=3leb/FCm.Z+)V=-zYg7*O}0ď铥-ĞǞ.~R*='I4UK KޢQ/i}×D.nڨ'GMdLD" {T:%gb2fc-͒t W{k n#:Jbn};^h WDh\Z\Ȧ5`4P*(Av8CP淼~gH+M7CW ^0UZ",z/>,nSCv|8ؿ(xt5VVEf4dfi|Ym UU5A(&*y/T /^.we׶V[EԎ:/];j{|} \b( I:0+`%ntÂ1^a:dk_4[,HߪӲ4wEvөcJ7OG^K`Tzx+4ҁ 1F3fmY_*6H?[s6BɠJWϢ{XcĿ y"3|291>˸ݩ+̒i4o\1e :~Ku@PYG@E41\15GA2 bW]3Mڤ F'IB`h+X4fh;7(IVԕfѠh*BIVdT1)0iVmӺ/O4E{q o2k?,%"/Mk-2]Gdk{-l+!jo z5f/qS+0fV\')2̲2*-E*=1(.5:JO賾aRJ AvF7;X!GjTtlϋD7?.ɃY .yz( qJļCf2S3 Մn=qz2 o^n #XmhR޾ 2ҙ{w7=`Yr5~cA1rJbg 1\4{ Џdspc) :x;.UoڡBLOdpd| #sW/mXYe{;b1G׶Ot}E\2}p(CNeX]Wu!gXA l>̨MUS7d&{˪gZ0.ګMç^Y2JUL U4CW2o7]Xs%5*ԓFNw3*˔[:/Ȱtg$I A@M"sR?5H{BY_q"kٽ7%Y9:x3q&}jCҿ-<ԏSi(J ~Eqlæ:&PGO+TJM8 rTv>|G[߶nj#ylQ7`։-;omcZ;1juvTYdQϬ..mW\+K)G8Fa$R ˶lV a0;[Q8g80Ҍ<~ϖб 3"<2)x Nfaa S1J%XF=(ʤG~bN:;5#pH^Nۦi"J̲sS\a{˨ 9 m`P0r|c^¸Pp]kikhX&w..T}^X9%n"Vm kqz*Kiz\۞Imc-XD}Ԑ46V.CiL]:+K5mDTa=L+KȺ_Y:(774kJY|Wv ̮MI.;9t}zÈrg[NZBA.6N ]qzݩIF`^ILK+քVyޖ=Qpp4P伞?qBv!ϸ[Uv~lO3g|ɬ\}^=m]VQ+즰oǫ5zn]KU!>?IOXls-޽vŠau] ;k:f؄t4 `qHi"WC4վ$C%{-ylCE!ѻHuQ#4"i$!|\W MO-t rf*| //RK@\kP&o`T,k2UFG.An#]l*ׁՓ(!~ "_0v{ wu.oEK\eeH[}R>"ju&G٪)_K]\ʻAW0.NoD/WqqR+5\疨ii,[и F?%R[Βڒreh(U)PHG}6k3FwD;Tx8Hs7i{ZwV6?uZu[OCYGp" R4lINZ!?vfM1Յj}ݧ@op<E⎸>=PegP% \Js;jv䞂m'8w;~ IsƔ|LFsBoRnp²FJޞH3^{RqBte}TՂ1Y86pG,ZA鿹Rbܻ ,AA8DuG tC!aL)>E`RZ(3 .y\$hPRZK Sk&Nu\r&VN.bF1*vt)Xc^{-k'f1 tEd<,Ӽwǔ[u T1Vd6aS /Z&3!}jbϑT{ȉ /1D-~R$qy u2 bYQlol>Y=t" gXS]mْJ[U?dl/)f:8 QTJgW*TSYi(@U4?Fa-Q݊m&8U&$mG"h=i,OfjDzAkh޽ R,>O=L\rL`B͓ 3VNZ Y&x&#h mx7 ͝ϐ?V.1`%F~vFtVOs@l \[T.1ny@7}y bw2PڣMj_f]xNtzVK>:m#j9`)l4ҿ|/\[fTޓ}UM B;vmw-XRv#~$D'Yē#G;{3q[5Kc V!F4 2zܮ6ǀH6Znd"8+ҊLȞ4.!Kۗ~5[2JLBilu˹_XR#!l3=A)$ҹі;ӠVΡ2Fn0纗WƌyP@wAu /u)zAhΐ}O#9q5p0 _Hxw>S@ >(-sCܴ۰kf7@PH|F sd{ߑ.>5}|u$-- a PU&Fl3Mhl}~FaX6՝d}JGR̄dpC-L&DL4;:t+"C}qτlsݳoİg+Pն&(ec0i$b9b|&tv;c!g5/wc%іs'ćj!aE𥟙A: qșH9SFgjR3ϳsmS٧T9R&|5 ˚;- #N]gظ_⌋*KicBi2! ۀ?[o3 ^VE!F8539 ?~ۖB8B0Jl1Q8GtfkzG?|dD*uU:cPHTB͖Q c.*R{PD0EOIæYZTdEjܸE C{T%ʞ]AN&^VtJwg˩Y<{5!c>ԒoAt>V#65P|f/m65Ԫ)՗";}>t(/USVnLa- dQzH2mE'Ԧ8a١;'Koz1_{dc\]I- |85LK3$۸@N5Guf}S`lrā3h8]4Skz04FW=/{.B vP(tBP>#:5Xsd~(p Q}[,dju8d°9{!YH.u.bȢl 5(f?Y!]9a|+rJ\č17F0VkcfgG}ad㎨ ʒ\&]sϴq>RKF:`͑yNB{%zGTfbGxc I) X[n`*f_Pm ~*u,9YܰB 2j Yë(f" ¯H SLFEbJ6ʭ4b??Ö,HCg嵊3^ͻ3CELZ*1R>n؛>R7.T1},GL!$uԞ;5(ESje{#AQ:W$(c7Aˮ]r$]ivp p޵r'_S ? = Jdv苡h_6 pjp.U,uY^!2/2?Y9˴$׻\* uP:ytN12.ұwm\ 蘛 XI(#:Qr0yDuGͽ;}>SҪ3@35[mq X{x)aN} #2}Qw2Rĭ#ΝU졫#ا~2"Y?kȧE}9WY&IdAJU)T 7({8AOGyDjDx4G*8=hIeKmIvFPE٠F:D}k .D,7o8e919Vo>6Pph$K_unYtƖ8CbϑVNe=Y _0f Q X풋g|gZ9?$J+\`us每O̳CAcG0¶lVo BW4 StMlsNd)kf8pgdaNUoŌNJ.`Y|"\3$Ǹcӊߣn]+IRsLR}0~?rKj)GB@AW yO׸O!1Hy#h2M~26:xvcէniK\Mr\`~( I1EyA؎D\@KHO`Ђ<ʋA e"8޻ă:am!VV5nyR8\|49E,y",ioʋ.(RP=X`Յ[ >Wt"fwjI"q[%]ʓf'V\(T;B74L' ,*] a7军 k>` ҡGW`xXЁ[`P~RO@8@}A8$ܸXi6MXĬgqK)l8`$ L(v@28껹FI'_aĘ`ck8Rűɏ*F>.Rgpb/+boO%Jqp?[ahसޡ??L7Snvϣ@G /_+mv|:5̀00|/ԗ kl[̨e[H*rn>J\f"x0=3ܐX+dҰ@oep'(źްGRH>dz~c=s}v%/Vi!kbrqatOkTZ"MI'U4m\[NHhbHЂO)q:'9E^AdƸaRTd.G.?%Wt/2,ӧVo73_]_Z43HzBsS702 o ;Lm&mR"`>)@JosyKD V^C%㏀;h+\AQ^àt>R?3Q2@a2P^oH0⤫<>^o`vy cAfa>IyZ-ȩۨr0SK]&Ç {TS~2)% ;Jd o/x (R^(äX\'A{v29_4>FRQia`^kզvMת))>qn֢ ;.+&IҪgdMaNCBՋHp.Y,S?c*?Cp٧Y=e^յ/&b3`BA-J:cjWITP-3tI r E/f|r=K3 FzW!Q}&%F{]񱫽|_jwS:D},?(f&xԁzs}5H\6^\~*@;iC׊Zڇ fTz1Ubr Bl44: K`gm#mm/_|0b4ÿ)#I *q"oʑnUD55 P'mu16"-ioeM"cU"u]z|cj}lzcў ׳6NJ5"KQ%20rBU⇌#14s犠]DV`3Ԗ2+b, ǥyP1tM`y =n.qGI ;UyNQk } hJ[8E0|=ŝ?(,b^̸=]-y|Lq9oU,{_wa "Z-A0A( `9=Le, ǥg~W'FS Y&S| =#ɯKƄD-R=91o+wYbvutgIQnHx@ Sb6ďHa㵊R|>*< R&}Qq#ۉx}zseVlw(:CCQ =U(YvЬuy=k5b9Lj2Dv~bA,]lIF"EN5iܲᬮ~Bqa!w YH١)Yh&xcoQEG(ӂuS =ꚓUc=ΟNYaēG UU<iZ?S-K\zqV:3+@1K4xM$x~ڵ@rccMA @uʧܺ| U h~D|!슟̖WwB]Lc /REh%/zvRa%e{Y ur+=@ $*C,?|qJ$L='{!O'ek`2"N,Z՚(YDEFy710|[N E`Vi+)v~me E5&dujh c6Es0N©,~r#O#lPH#hP00'z1 lE9sxᅢRhUg 46_ A Zcl\]ߩLO ;UiKnL4Nq+)mFD\緪 SY ; 란s|Ym w]5 \c4̂m1 mzug#koHo*"Q@I}u oŗoFYQVbV1u'Q6w ]effd%5ar,Ѥ?~8vA׀vU={v)0p?ϗ.n|9Naay^0tKzt8Q~Xd*C^Ysf2G>J5iɄ'r@u2q;Hv%rImM쏓hdvЄ/ qk>/3aOvh{lܖ݊:\UR1Нao.&Jk%iir__6DP}#n[nzvpDF54ňIeѯ!4Ș }y=.mqBp@)E  +$jkd< 3K\!)!;m#a"2M+A&]E8cxGG_0Ԟ~"=#J*g~XIE0P<@A@tWE9[VGw#_Ů!Ϥh }BHڙ Lݦ;U8mO |F9L<B((*iјe9 ,Su>xJA=aRM;S KrVX@%6Ly//#ݗ 7ݎZ,&j'zNEAP2o8N q: gpG`SV3?8|9uK =*} QV&EsxyuϹؑ + WQ)pt)ԂHvD⪱ F*WgtC~Zd Q]aOUO"ړYeRPV(I.RDSs==NV\EށZgc;וky ?_˲'{A)gqM7Eu~"`ctNjch99͔;OHwM{Ȗx~(i׷\RI!McC0I'Qi@L:1mw?0+pK6Jb,Qll17ygWd,x7E @I={[&!m՗>{Ѿ|zEk>C)T)FtH_-.21 x3HB)h\A*3#f=Ahyw B"j 楆N:Wo(}V<^;{}wîQ#B7*/\_oߒ"~q s mlT|K!j0f,CE A,w:ː%c$1[+v$wGHI]T;*yd4P`@,]/dd<^X\h 9G|)fƾns V6QLyfe$&5lxs9ωUc?,c}4epZFQK-x :U@'cCEi '!Jy ؤ^P4a\z#T j""gx@f]RiE0³P~#I; yqTbHBunfbչI#'J7E<ͥC B\gZqC'hJ1S= oӠ)wOhFM[ޥ gH,{!+`'o="UY܋WIPM&袶o_=9*y 1F! 22 B`xPQM8C7ME &=Ϟ1+~^fO&Z`P.aEG4Y晥?(IwQ!@ h'CohշSGMiO)H}+D MDѨW ] #]f{MZOGZv3qpd:fF9bWľh#r#ztڜ*۲iNm)#  H$PWRQNU3@@+}d sdڄڎtzѮ!irv~A Zxq3 fX96u:k,:1v9k98DS(.h3E=]I믪wmȷC`bIDA[Y,gaBD] SQ +қS>G< h5 0Ȱ) .aj^' Lٓ&^/Ua ;K$Ϝpѥhv[LǙX7G0ɤ#7E ph+B -ּ(r3ib7 :q}A~wnrx2~+E(f{C2mZܷuq]P ,V-\n{˕Ж<~D<졟~ g:~>] >dG_>1[$62$(8_-)Ƒ=2G _hj\,{e~G !5Va^Ʒ殊MlO'O;? C D-Hm̯~[G/ 7Yr7 -YZjHu}RGDjɻ3wkP9bQ*B )PS"MX1rc%<VO=lSm=>._+ʭ}n>k0)p?MKm!^ jU=7R!տ] %blS<7%|w0bƆ~ #KY넁h, Hd;90)'{[O_m$kTڎe ?IpkۥFj:D:&:C2|PJ*{$MLiaXƇנ.}O--*ձ܋9vyަ/m)\Q6v)Գ% R9g=;M]]YJ7䕵}?|S)ͫBJr[Fo , <5Ky&ӕdyU1J,`K_B9w:d5ʇ1!O^+ g8 xYEU{B~1-qA>/~\I Ϗ"SePG] %ȣid+HzpF"ՎpߨDMq0b?I` Ds}vK^T:6m9ӏ3ZPūMIG*ԎI1+oUu?w(ϯ~KY`hbuX׻_E@r`A$qlG$A Yl2b:꭬iƊ໸r~f0tyTÁ-HZF>4¨yE ļx=ϼ+Qm.*g<5ޛTF<Ŋ`r"WlwJb(|b*Mr*{V~uv)؄<: }\E_OO2[D̎e\Y5?5!UrvmT Rlt*Zq\XO,"7뗢vN;9yįYb_py+3M* R 0࣑W29O5 @e@vHxx1z"3XqLl+pjvz )mse;ר\!z)c"ѕ1Y~SR8*tekn@.Ea;pY> ߬ji"t<- ڒ^IMTd(7T9,R3 ~ڽz88mT)OBՉlڢX'-A\ɈkIfT9#X; Nv_+Vb'} ]> uDVN5zpkȢч8؋;܏wT>fWBq o{5j*5aLTK5n Gw h_+KSmw*Vd<号PY=6F{c*c*Oa SRU/גrPka6;f.=&݌gjE|{КFLnx67S^AE¨@Km'~)#W@T)ý;,JRe-\zlϥ4@ۄ=DEs,F"UQVfl%oݷA  UbbeK.dsm,8At:IGzCY]oCRpP!a.-nFg, \X-, _R?&>.>X3Ùa ay^^yc^$eeAvVl'[f Wf(L+hu+<]&Rٙ blDD we1`zz;k/lcL 1#r } TB @I u FwZq"Ԭ]J$)fɞXj)SzN3lo"lEa70sn/l<D e<(~{;2K@K^eR2j6R%\ZGY]t;V bxt +n-ȝ} (`bU0W %`xiwe3=R*mMV{P5ϝfH97'BU'Pbh[&.-k\7*2H+;[ 1.bܻ{:hPy @zfDvZq"m^[Q_q@6ÝC#I;f뱀CP䥶5]fAv x2d5 F;;Mqfե#l('40cD - ,nrr7zV2 ,'Rڮ\׽m>C'b{<, |{+-i%wt?j;*zcsw=2A 67 h %^ڛT_KhaSV4txy XB)):'4^ V{ 0&]|L7}4YXFl%K{v,6p% ϰ3;Gv[3ѪzC\ Un;Ft^^@e/XDo "$gYZc9a9f2854ee8a3717849e21977a27026d72656fb1795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 34b3143175cc0cafe9a5ed0bfc2c39b86220bc46 b94aeae032d25118b0ccd9683f806be94d108fae c7483b18145f75634c9f33c9550952b04fb136e2 abce5d82a74c9ffcae3c9bb3ee08a25c2034bd987c2e435ef9e8e7e5f5796164f75d49ae304e0c7d