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 M1,$ ]w]Jordan_Normal_Form:threads=4elapsed=340.969cpu=1038.172gc=43.972factor=3.047zXZִF! @]ŗXf[&ɉOW7IÒ66y2bԖl |F֠BQ;Pw#ތH6Zro m%ԣ!k33>P@Je9z]ܰ8GܒFXzzGY5LKKȆ q#uԤYfΝAt4uY} ^<|V-2Wp;o/ְjm4+YORiu`hvyeFPX'witXXܸ2~Q i1lX?ӨFR(ؕ4g@Ֆs5f=\kV+@|؛+/A 1 Jordan_Normal_Form  ѥs=8Fm{)rX]KDbgY9zfth+0͒d}ǽ/Mtʍ;%~&(}^H7ͩr"Vwrox'p(2Ӯ٫$AS0CVN:ƒ!\vw| {h\;k78 Gh=e9Hl ڙwPsJ!p悡,orz K 4?HοRk1K%u" +15Xl:?pUR4=AnK .05?_ۗn nQ7٨%Č!YrGzvB|MOq2} mQ Ce-3C~KQi7zu=*mKX.zИ-ű53Tlժ2MEXm sZƽ'66).iv yQ.pzN%fҘw;4B&piU`lӕX"jv3$h%ZzFSm? ɱ+[~F# SF qM 񚏕/&Şu.9-DSϹƧ)V{QGbߧKorź$VL"dO炘{JRxSTQ;%EJ=F~@ 2#o'~o׌3etekؠ_3[wF8=_S]!n3~j:OߒEݶ%TF۱I]|yTb[.+K1Bv$Ctw z#%<ZHc9׆vcA(ՑR6?%QV;92‘+1J^?EYѻ:`{CMì/YaNL:ͦVɞ>-rDT31eZCa#(iI-kR\<~s}t;ԨdEP98QoHIrRI(psņ1XMinR 44=%\:XP8}q+Fi1[.@&Xd$u$qh0LBi# ăB}N8rlU7HD{+uxFp@PmQ a"b lfĀw2X8%$PYa4$©kJn58a .*srڗg@ZlW4Yc%h3߫cIBڑVBM@roUz-/ўVC{;ZdPذPz8ʔr8Hnv1=Qt޺ݻ8VEt 1N14y[h߸YԲ oē^"Uf@gfI͢¹Ogq84 @]ɷ1w'$CP|Ep`"G'6DL6[6pц:;4OT6r[r]x!p&AeIB}, 8׳Fx(#+w?|Z?D{kz$h/>ƸܣVAi,W-HĚMyJ,Lx(E@B>"kflXڟ0agǭ ]4>774ߋ*tо:[B8MT,G`aT릣VXEFIxcPq_-|rʷ YmKr?9ofӥuG U3V}͐zf38d,^lĶg8x3>4t^RzoG%9T3%׸ t͹ zrT8Hoq!#ѡowyLrѣs-MzgU L,6/(J,Խ( |{R]ވˍ q]'R`}"n.|狞Q߅#0B np*%tӹnEL,O2s9o$7ۗ.:ͥP, -xʥmBTl_p<n~ [?]Ws܆~ ˜vkWS|t93A8 uӃ)[C+←U7>-y Sn-I>o }-6EL_mLӝ+A!]]mh?7R)B UvTM> VVe`K 1Ӑ+}[E? 5NaLd y)1YTۍ[6M ;$%ђnG/n>1@65Rv̮uǾe #@{$:rd(╨=Lxޏ Vh3)VQ=Qު.p@EE<}AasM]oݛ*B5 7SyBJI̚{'}orkHEt&\cQA?%CuX|ۃ`4Sc5^CﹺHi s[jn %E+)䣔j pΊԚ 먞\Y>pÍKe1.tyf1hvz֎wh]{,"O7LkhҤYd{pNf^̝HLYW?T$?JqMrslkаB[q|8cέ.G`CkI?| ©Ɲ4g}),Uwnn!]dy/U0/C܄rb}SؔY `{M"ぼBa% >6,ŽsVM䭢D t*riuw~|Gs|lh7Du!acEJ2w9z"jߨ>\ӿҚ}@h!DZ6l}Ђ)ؚZ7SL06! ?A RL;8yapʰl1 J5C2Ώ~ (VB?M}S@D4ƟE7a=K!}\e JREBiavSo'}b~a$OB*bKMP :L%Ԏnrl]U i}3&5lg9(he}k XW18ttɳӓ 7T;1`>Ҵ "KE1W簊 i)5tn%-$qC!(?%,-fDVU!I >'dJנޠ7Kxbo|羴 r{0v3vd5>{ +A3(ru2 e6 5̗{a7>Jv-#W@rW&@"ˣs$W|prKlH4Od]Bғ;yb\Kuaځ8=F ʽssWH l3$IYǓNg啹lEF7㐩y ĩQe?s8Kt@Xؘ0pXU.fOs\hm-cP2s@[_s}iqx0p7wc$9 (&ɿ)S'hD^&lۋde~egVMu&}0KjXh'#-[O#}G3pv.H9;oN.0+xb`&hB9n%=aĕy~",:e=?ɸy]C/#bdD a M{Ç BlsҎVMS FV @dSu,[03dfEW1vϵ\.K}v ZwJӧd:dCzژJYauӯaCt.ʒnѶY[wInbq> U G/9+tuƹvؿ?[FpR_~P{% #[;d˰U5́_gYZ7zXZִF! M]ŗXiɟNGW=:;G v{@uл')N5$|0P%=|ns̛|d3rًGtVr)ˀXLZg ~lOr29O>luȯDC"-, c̪1ncD D]˺~ #&Sq.eRLCLN`% ݱ_=lNNeLH[bC Л=qcrs6#<{`ؔ}ƲD4i+F>#"ݫ^IBd%5;M55WGUo.Z@?l֘,Do&=%ַGy 7F`qQr;5sw" whCgb!l8m]H- Vn ֹ=W9"4cKlz 7NHdj"Ma^Mebb!0%߃02%#;JS_PW6bbg}[V/PC Kd _Pc9RY挌ܗW]-oA<BgYZ7zXZִF! `]ŗXi%ID:83%SW1ʭ[N5~OGE+ng]Z7rK/ÔLu5d ܡy! uJ~'`K,a'n^n#4r22b9bC|W_ Tl7˚K0эp`6wңopvC`>3L8ټ8ZI?M~O_s!,,Q;ۙ)#ڲ_WCXs35B'ɳˊA(Lw;~Wzo@u&7ZvTF X@)?L^[J~[ovzA]%{&ٿ4~ԍ~P .ByS}qz.N/t%E7.l^yM5E<#\xX,{сj?F!ؠȵ3z$F{O3R.@.2ҖNVnd?7^ &HmvTKW34m j',j}P 26'ȰW^߲$%DZwef ZXkl'̥S/,PG#/74! Kߚ~>/)]l*}s.jW4gf%:U_p%D㜱.2sY 4 W{,t1I Q* snH2Mm:YC׎i?"TFXg)3 ӊT#B~/jJ\2 {l "92CΧdBV(-T΋Rsip9[TBfݰe:\1@KbIsfc?+$fCy抭+sDG hJ` QodxJU)Efn~WTVDLX|@t`JCIE_G'$deZL‡q??Q .b5= 5 _$K0s!c|Ir@1뗓Bt~3i+ƜSu[(M(}?4}g?GFb 킙9TNB:%~c1A/pǜbģyt\T\Er< &diܳH4vć]7.Op~.&:&,ޙ{Aή+1F K+Flu87>ƃ{ubsŻ;Zt][=}B^l0{# DS7k?pX&=qĔX"[ϵyc݆,>P_{@+\~|8:׼c=!JZMExU"4mZ1OT]_'9<bA џ u(oହ0yͩy(,E毫z-NС|,V[>8 vLD ; I9aU`Ͽyl3jJ_+$P/t 0g[|3y^Czdκ >})߫oUd%񖨰U&-y?ۻ;V@=vԩx7cÅl2ǽm|[ot›~qm}M%8% q pڪ:EU׭Z  ]کw[rReATf_m6,<"B 7axDՏ{P-1l[GqRd C@" nzUջT=Ż{dI9!vkX9p< 9_l#-9}K=s$l,fzNW+ & 1v kimVwtRUd:{r9c|ɴpU%>p35/2󷅊Л}yqR9SɵqMC[H (@[/ &؅DjՊzOIɲ /ex(D$7nwb6Q-24So6 Rw 3 x-:ȫ;&ž6 B !N6!_k(vj k:Me %j=.:U$|Gj <(a@?t8 ,+yZ8hF|?º0aO0GR$kK=L cXOz|=`7JՐ"Je^ɴ!S^ܽjx6ݾs`,=BDKM2'NYlĚp1C:Don?xzŒN7@1~fa_[9_|qܛ}C*S5vk 0/º.bBG;fJ=ȫ1W֠WB>,Ep٫t NU)Wf_`/`:6n'RvpeCfkR2}n !(8]Zbˉz@1lnfFSmҿl 𚰍n%G b qh3%H>/9ႺRt _װ+1; 6n->C|i?Obp,8g"u+ ‚gg?y6IqF-[PAk%uԖaCIbv2330 -Z@_N#v"*Rl#*+Ny3[0/g~=ώנQXE9V\*4G LTQg&(nH/D &$;1PҜKJsnhҧMGyX36\|G_JnSb[Z޾rgD.vre+P%2zjT2R=F|( #ԇ6';`3-8Sl5S?ni^A7F7І>s2UNP^ 9MZ'w+LǸ1B'0;m))lc=2d&nj?&CL4}auy PpOEf C^2TuH-'EcsGȃjIdpHX=ND eVi6K=r9tb\8-lҀ=K]0sZtAA+ FI'UW6A9v*kN"s3nV ^as^)la_%04=+ U7$H+B2wY/͖B9!]j. o٩8T2TtЌ(TIˊkt]P@Y#$95 8Z/`VcCttyƙk=M*ͭ'i6RAD }T!0m8ߞw W+p4>-W# dĩ^,-JxѾmHQ:sۢd.3D Wv897|c5tSMDꁪI8*6PZ?h 2' 'i5)'CVf5GT=5J<,8q_*M0x{k..pУ"m5,m]']3MbKܢH>P&t]wFQp>gʙqHQ̘pXb]@p$"'!G6P 667=uUyݐbqy@ )~u &7:w`5liɄD(hRf!P`RVu t2QUBi/K͞SdZCpа_ʊ_JE(#rAb; Xt]qg"h<"D2aԱYBpT1c ~.:iul ״ f.W03~6k:s66Ms+ Dt7Zx1mbscZS g"5.-C K$_va  >UIZ 9EhӉ!skϭV]{dh A~V[[k(n5,lutyAӆa^5M ?2ĭX 4 ڭ3+C2 1Iٿ0x)6@M;M7 $|+N)OV~0_L3L%8|򥿋kRO\;Kp#-O:#G[Z?0^$NkWi8V5Lhq#Kհ7:ĕߗ-B.Ξɶ\ 6r^"Xe/֩!U}"ㅒCRW> noC: 6RI+ZcYqT&VV2)_8}vbU#3lQq[[29]ӱ Q Ǖ]È趋crgx]b-Y~Np"CphZ~u\&0y4p.:G|uC,*o*dТ(cM]j4\D~~]t.I1>k}:2c?ZvF_~~gqϩk@wmi%h+hF Fz6'/4t"$w/ 0"Ü@1W;Y^xPz|ь&8?,2\7seNT3[un)ލPz /)KƘCwP7ٿG)GB}+!z\ya c><7!5?+gGHmHQro &q¦53!4zX]@!Vp 5龄vݕL)A&$ueJ̨a^#ٝ dʩ9>.|ѷPBrk((+^߀XS gFdu%'?!_} ]I?0Sќ`B0E<=%WweE\5J(u6!KG=ž4(4a;K.e-"lj5opgu4͍+ΐS*Wx@(+y=!AE=[mN̊f7-OM@RԕܱO^`.|*qVkL>/2l )o8\_X 0[tQ۳qC+'Ъ_ #8WΘmz_bh+jG>gp~sKRJrgԑ9>.AIhPbBq߀24D_Eu/^+1{\ThumWgoըip+0oW9UG j`4| DD!ȱBAZ0 le0"儽̈]+G]ey1Z0u{'L36&,9oW7ezwI@^?!1:G}Գ"7MCixKe"Sp"Ŧmԫ&Y)͆6PƑhIfhbֶjmFZ&N5I+v<e{E,^U& ԁlhoehczswU/,rf,By {(YJI|s~Aja[Na I\QՅS7L΂ɦhw!a#qChU?7"H P(-ɹZLLd~S ?үs3iU+"\2w,ԡ'q= mu $yj2^@[l֔X3itCdRš>N) O!@62҂N(NE9d3 D̩] Vs4_ؚzA TƙF0}3A.l&5@#T.O B*Am"IJBv&=tI2G$XF<#Dr 4 cU p &p#G ,nLx=iQTmz]b4&)}S_}A*InyVQ%)#yv6"p -"UB(DpYFp,5Z+6 W7υyNZ|hm7z:`+ܢ惷BI.if)s!By ;hTU{gIضݽo 1frWrx@[ڝ\)*~Km2I!:|$s+ kfRE+/iŗ0r9l[*sف\~/ BӺzeD H07'1'k3(t&\k2uAeerx9Q1Ҽ߱o^AQ' Z,+Z_2 "c5)49~ b;/sS&&O˗*>tS?8Jn__wḥaLcTjjC};dꐮ߮un*_D g_}+M_Sn t^Xݝ5İ큒Fe40ݯ{LC{ [:Tvqd qTIG܉윴&%=LU$Ѹ) #5dKٽ'8@E8_} En &RFKn=o$ Q.#1yQrdkˣ~;Y Р)u$IAZ[`0}stNGjF Ni0.Ǡl;5\ U''V=N !p]7w']9 AŖuQq|TcYE"ubV\N`} 6:?9f ~Y6H3@֩{DbϜʪǚ,BaQ]Ij W\Բ{O(g<(ø(H9)+G2aOcCw^Q({9:"M SxrۄXw_$Y(| ϻG2#aTL"r}+mErD54|tШ"!FcaN3`9};w L3-ldweKqG]08jVr1sm?]Gԋ[^>}-oF us? stUݠaw1\8[P$aBYLЂ_G4 8gzb zyS0'x.bq&y-lMA6 ^/"i\L 1BᮀMH!]Q~ːr|# x(M؜>r-gݵ͊&d&m-ل/QR<9aZ6TKmHJg>JpW[PWe@LnO`-?Y(V $ Y f_v>}v)?U~:<\Z)ۘ^m_O,KUS?1ɗ9vZ=PbNC鯢ؾܬjb-03Ϳ{)6^/ "79ȹ!dξB\)BV݅/P'!l(ۮ*/^ڣT~1eueyn+}= K>raq<tlI)l&t4N-3!EQY_}KE]Ulb Trl'&Mv%Eq"gJVAZL8`;_'nz2[s NJ2f|>l.F2J#Ӓn ĔT pYw_tl{ q Kq iHq3 \L J8]t˩[RӁvLrK 4bgiK%豠4I" F+>>a'Wְ!525"QhGy*,J(˭ILV ^[Ђ1~6Gltb׈f C!a@0C03ڇt]#KMk+It416hA\yԎ&c\ ˜3O Loe@BM>ջW WHiu_4`e6]З, {\\@8 D٬F AE%v^QNk.k*࿺hʙVYlA!7͋ozocN1WiVؙ u%O$E^rDiP $YWLMgNh5Jf(Cl)'Cc :띸/KT"u 8*Јgah]4TGbܭI UBѳؤ=aHG܄2?"\k~ |{bE\rF4rɲ{&}Gϝ %Բ`ݗ핀) ߼|Yhynd*HS ϖփd:DdMHk2Z81r-IZT]IDVミʪEh6Jə=Zxi,A Xr0Qt̓vz,@-ŵUًYR^ !P\$Amrʣf7r۞Ti2UW.7۰UÐC*bU]ănՖ >$ҶME7sTȯ"8?AzȬfK]XxF'dO="Ӿ<ʼnt 5L+2ee,L4Pt=wr/~g?|0Qh3P|'Q!q.lH6o<]uPQѻFSχsӁ*ȵst"7@33'm9FD.(ܴV./5s QЛIO:ƨǫoTNy,4QX 1&G,T$ۢ2OȄOͻYONjW*NvStR +FU#>>םO]ZM:Ru x#T626ծ+C6"N]VTf(d!]7ChsZXuVf ?-C_: i7 -'bŋxd$09?0Q6 S{]o_ S,vǀ_fD:r_׏+n?ܝ6 b7hZt*1 .|ޫ\?aɷCny)|C[mck{,+<Ew?ƋǍP3HPLc,v ӨP5+6wbBy+@_ j=o"\J7Ҍ4"B/+|6QyCV?AAU?OIwf}oF0Ua+J Bu1/龓B߈lhJe%Nk1SW+bJj{))ShIy.p-`aXa zyK񭒑g;lSV<{k:=Rަ+Mu bFAw*ib;EH]ds;.nAL|래fl-!܆Y6j*,:j_.l_`Hkcbybr#ʸ7h˔P!T(xszY>0ntr~}4}NBt58=;6Básq4ԪB:)G#Nڄr*)a`Ms4C޼HDmbڮ @wN{$95r5^@ S= F C&2wu%{7ϛ\H=(mjT`[p rWud8NaiBKF<bx~&-E!xI%U^4Xܿ4CKs>HguO{-|QL t^m{C݅0?e&cidp%ylڠ!fRmW&M,s zpG.H3K0)Wgj0 ZI=>p$YV]K*v AzN㚐-A,o \gR_Oٜ**RZ׉}q T`SA=35A/v[.\Wlq3q69&8~pj@ܸ"͸ACa9Xm Jk31>!$!ϡфh_{wuL N?4 d@UՋӜXgj]m4Z&_ֻI6S,4+־0*?wha>%cn7 Z^56k%&ě 0:f42 Yqu+#SDLHXS2oO\xG{vL%ֿҊԅ_(E9S9 ]Pzd挿އ_ `P|X*Qۨ [ll'I 'p|M? OfY{ّeu_|PYtPֽo Qj 2إ}CDwr"Sn4w<&O琮l. }F&8ef 3o;3S矨lMG"V[Z#L:~1+zs5)QZǸ b#-{TzҲZMFFw`Ě W5>l؉1d7L=Om$\,& F_)$s-z,hw7hnüHG $JmH^ -촾vMy; a!hXO☞MtOR ty\蚆u!ޤq4)|3Qjh4k7!QU}9;g%YY'7%8^QeNT8i$C"^x"Ȅo;Ⱦud8(/ƨʝzAzݾId]NhI 'a6GΉ ^8mɹd5/|d۾t5Uڀ5fF jSMЈUU 4`|MɧXJx0_J٥6Iy~wJ|{(T,"h42C!QVE@^l%ٔU.$c3^µz˳;A)o/2`<P(wʝvVհ_Mv_c_U$xd(dCSB6qo)+S4g1"?uI_5, ]ӟ5<#e, 4vC'|-8i 7jwYƟ򯜃2NP u/BMf]K]2{ZܚUUB3\?z0Jo!3 z]ƺZm:eՂ]tk XU DtRa76t Ggaxpڄ܆y䇹 "R;M1%C d]JLpݴ6Ŕ)%DZDB[oRAqa REDڴ7,o(~lDm * Q&{@);_+oe#;<<C\nG G)3U(LVT/I_GMlL|ԽEgݪ6)D:vARIY10%8 ڷŴM -`!y^< .>}.$lvwÖ࠴V>ߦnAI@_?tK,SO?o>(//F׳8x~i[WS/8#]_y'B"υ}[nskPAGLgʁD\\Sn %" 5+@k{Z3)i6.h1q^26 bJ)v kj ,BdDLFr@w29?@4YIJh}E[ (3G!vyZE"NcO[X%H5 $a'qtu0C;2b̠Ы|x=}CJCs |zE1paG#/:IβYy|"hv=UyR'7 sh'Ў3),ҿ޺C F &-6®Ґd=e#<0Hl5,kR\ڲD׉Ľa{<H,䜭Qp1$OB\B: 7'حn`uoI$Bʳ*lkPqQemqM80| ğ\T9QcY¯R h<{{luD0 >1>ef1nvhv,Ol |!Ճ;ɑ!"tȧў`}, zP qW`&jKKgKL-#R'7dH.8W8v %%H'N6낼|N«VdWAGoQc?eW%K-,iP\a0 rL^C%lX}tJ{JNu<&9~+pY DzM6RIBo@C+r ¯ҳH7̴̨7͑mh͒oP'|(gt"XHE##]htG'wv=v~@luZZI٪=U?w+WCc^4v4dܧ+HvZ+'muVܮ*hN;317ʎFr1Rl*4wkBz“)Qsy.DaC.dvlxd3_w_g32*NI֞OWp:a#S9.Jᖴb5LX p <.Y6^VAB8>+(d}BVmcUƾv6[ ܩbP(wG 9]Ț -Pgc-7À"Ȭ.,ʊ )n(RVͻ3U=o:gպ}R.6 w͌[@HF?2WM6oЉ0ds2_E$4.70߿Ӻb}4qt:PQ?ؘvDB{~?0 Z#)U;mXb3%%Jz w. s28BmY+zٟj)p-,Hr|5pJ7 w|]e)脇Ê`<`Ҋ+1dhX{4b# ww\^#h4\{m0|\h'm#<oLqLTeQ87Ӈ4O-)[C'XI헦bmTr^dSy*w'oFئ,`cg9ӊwس*\0Ʀgvy&QLS@XҢq>$ )驠r"s %x>g<XF $| Y `Ӹ: @G}22W]:6!OVpw>56Bj¤lmJ/J3ԝJf!} W+gu_ @H_~93mq(tЌtT_tP6B^Jtoe҄xǼ7b\rIE-_|;\Q qy@2gx;6}#ݤSrȸUSje}C{Tw8φn5]Yd)\|҆kqu֮$MxP̢3`I PuĴ k8ט!r[R<|1U;h9mzP3웷-Ռ}(mhe97/L~* 7oHdvP u%b9݇P Suy۳b 6-h/r$\ge MYJA%qn8 4fyW tЖ >h {56$nޙ@ _+f<`i>Bw:rEp^8+m;[oBot1FU%2Q Jn&RJZqJ!94Wϕd䔞k~tqJe;xaKJ*[)+qԵ1( u¢cGSP%Tǐu#}|)y$8\Ü r$$z}Biuh$_8rH>TͿ@.d HCj9ajZvivs$Ҫ,?;Dg6nL,XڎtArӠN!̆en?ozp~-,)^m#*8`kp.vKB fT[*=N&? %" !uZ850>4N ́rHE1{lĬXtB@\G$4a3 eF2` i|BɺE'H*H瘸(иU;m,# 6_%/9[k}ƍ7]h.>sW4Yp=1$PqT< 4Ѱ#VT6kԶ؃5 Mn>Ci_eU>jSᩰ ~ʘ8Y|&WPx1P}UzR"ןS?ȧ=Fm>)*Z]=W/{It'syЗ}ַ/u&%LHnS"RidO/dH%R4/H^RԺgs[*f / '* ڛm)^x~qnykdճ +ʋ\g #IA̠)ٱRǏʩ?-WKXU!7LK_]0I坔2o0' HZV9ؗySNe(03 -e"Rouh]WY6"8m kmUd(N"g26bcS|<^v5$QP-|[zˋDd G<+iձζl.ϡ6b`Irkhx\1MԜxo˵S6Y@vBdXvwY%P{Oxˀ8S8+(U TNrI4<](IyzA*LigT8w#w\I]{Ǵoq+_c8F=+v4r,撸T;5݂UOi~I6.SU@LPo^:{:HĦh[+D8#y#EƟEé A3pJsV5!>|_9h-0.Ԯve+PY.vtI;'@km\uGyh,_Y1ˑ,g.l.w }^N"(h!C3ڔO/ 0JHmlnti=>04/x]vh$eMeAf!=_]B0 ӅDJFe_6~ WTL n*}=Za^c3Z1)Rhq&']ЌK9%Y~V y#鿒nZs\Zwɣd! {tstbKRz:zjiZ^> M] mSܔ9vԆ[wApTպ9vK}[ s&LJI$DVԤqD\@Go+s$\Bk<+5# ԱF^$rYY /'3B {kD ޟMRʬg'w2ԐYcKZB•f,*FCI(E:43%7:UL˸ޝ* Oe38[`˃M1ڶ|XHlg kxcy32,$*.E \eldThCW+q%r`vfU7HAEz*J*H¯cgE_R_U(!7IBuKSCǧ/jrDeU?qP>9a\P˳3/ Ā# .q ɂUA= :Wq)E6t+_/Q!޻}.3~atV )2Q UQ0tb#O/m$| Ճx10EJE( {:šAN2q[|K/]ਇ-땥WxK+-X]QV9q2k;D8r#[w4\M@k/3E l `3/u%6g|7_Y0nĿ@e2TXYtmw VM!zWѺݳǑ1,!S#4ҽfDoe^Pq:R8y@oSmIy[%+1YWz~,82<%4 #:rg Fr8Oy:Udw<ĮAkpOlІ4IRy}yӿYVl2;R8uej8/KSfo$`ԅ$S ҹunu`1~2t:K8;ġ>jmOSJÞ~'Jj~3ߺgIՊԁ)UH Wen@쉭`N mǓ 9 >NK ) aw]ʖm+VluUG"cm5NK aN69l/oAVP[Ȧ#jh gbX[MPY1r< }xlNd[W3zdǗ07^IDs6\HXLngDž8uѢ")qӻQܵ(ܞ!v什jl4yڠzU-ȪϿ܉WSZyU} ф ?`ܩhuT{G/Gݛ"  /z&' 2ST.DŽeʺxq#@ ]#M[{٩(fԒ+ Ŭ@O`g]6(^l+s![d426ݽDXT ¿^֬G./S&@Ep οp^-EZȦ?_=I:*~o =97L4dƽȴ3(E`ӮԷk;*Iri'D(Op/l,C;72P,{jRݍ$JlmlG(?"q:Lcޱ)(|j'g|B$AAܭMKg3=xnaB# 41|jnҤkbCPVϽ؅a-ut %D&h8q{7B s]>;~8kusDfނ͋'OSLڳWq}(Д& x ; ʕ4QGl/[ǺN P!t*kVqt uC4`Še7M ݜ(؞}oeS~xaQb*,/s4ձ..|'۔ov=s+ %zg딧_\K($#YOݺ٦iRj;4-'? $K>5Pw-+