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 __y1\L ]w]Jordan_Normal_Form:threads=4elapsed=388.593cpu=1095.196gc=23.548factor=2.827zXZִF! H]ŗXf[&ɉOW7IÒ66y2bԖl |F֠BQ;Pw#ތH6Zro o&OYM2|cT{&2<>,i2X֦iwJRɯhdP)GAӟ+tH_ l)$>MN+v}yzY`-j?HZǗ *؂Pnjl~6UP=^3B/>HρTDΪ N6χJ 3'k!|gjM>.xBR^kMWOd1UB;P >JB hh0K*33_4Mx7O=(eiy0 O=AVyhr g H vנ䳚zF鱌MY+.Vgft6XDUrFrp7 kMCI9ˏ&Cbpzjx  Y@?R^O[NnY1SƗ@N%T z&]L%>+ׁIX߼V';/ cWdhPC!z|nWBy"t|ChώӲnf1N=3K\IȚ(tuwG"zu I^{OhĄJߕg#nQ45}RûWY ͰloZ;.`x/lgk,`U{e\=.~p YhCuyRP04|L ca2=[_X}%ݱM\1~Y| ^ǟ+Q5 +駾#P 4~ ;X{2!n_mgܪ\d'RR(l0B^B[OnJ7B~f)K.{b%x:z5J"fN)vsV`lbQf/:WǸ:j`'"!_nǥ6w0'F6_?wA Ƿ0*5(t Q.9u[tux%[#i `32`NoWvf5Jf1@=x -cl} q͏0Li+Eq0ۂ6][~/I *s F AHB0gfTYEj6lV诺 ;fĮg(7`iHsOI0-oZ\{p5\]+&bwu1=#,@UC3.B I-A4|q] )O$ц/yeX¶ezQte%M{z*ѝ,,OyD1Q܏X!PŤDf//eNX蓎{rH/783pX{ Q.tҁ`VTT@=\z|SPr x"/h#,5FBm2f`=Ċ?&\e!:x(e%U5\.u!Gڐ5*jMtf|.܀Ҕ9LVo<0O@$d{b]TRMt}}UEk7/>]PΧ: J /JYEFq^mz 9au72֯!\ /'CЩL*Y4QQl⡾\y9d3j!t Ev-/ߦC wgBiQV Ƙ47gsHh謡)m9DL .zl9ݦ^4 +#7 q#L]Ky)tk#!h{ vYqpY'ٳV%O FS^Гpըuq 1 Jordan_Normal_Form  O{=p<!/B|f )G`uOz R6/H*N v| qSB$71B$O\)!BpK,zpDLYR:)"$Y!V<2m:îZ|BލذY#*iS7Zi۾(>b _ xƒ9&SUid7OF ZKַ "4~25yqnp-ťϹ] [<'![#`D 5Փ)K.ˬ,.c$ iɪ+dMO̺++7pGow,1yBc2wQG3anX!^yQY@Wϙ71W<,2 TQkQDU2)릮U5oPLSXR[e661Ҩnҵю$WԲ8).4pGTcEu>4$ 3rC1X;N5Oc)ښ>-ݏ|N٨r{GuOS+dM%:㎯ Wٰ{cmҭ`y T^[ZT'@TkE >n"#Ž͗ ֒pb:@%8kWM'ԙZ,V*0j ed-hq_N\x@Dx@쉑`d'pЇ潨b8bTYYMݜ?םuԳ|Jra/t[WEs1 %Q7xH&`THz4+g70Cd ˁfÃ9p.{:2D;rU=_T`47ڝt4IΈlVD|_%1@{ŎZBxũ#hb]t=$ԋk˜ٿyjc7՗N~Z%2#-½w&hR>~Jl._SnjSҵ&- /H`H[QL?f)1tˢ}<:[a ϫ9}Tp*~{"vftE. ؖl^4V_ǂJU/@j{ Q?J3R~ނGM4eMYYx->5S$ k#aų=F3.nljI ,2Hs8" ϶fH8@rrMNJZMԴ~k~4wm-5OugoHXZ3%ģ 븙~j06>Kz>AKܘo[uuL41nӂHJإhh]g|@7‹;Z(riDf :[d+xd Ԉ` hގHm740 szڀb+]}Ax&t=ֳ{Atkn |>| 6))*bhw}WWҝh=X:GlG1hM ;'#yfՌgW1>xHa>Ҧ/U BIn"ڧd>MI=FxSN(^( cuh ;V)̳le8mGB:7`M%kgR+$ tP)|MAb߯Gd!@%(qgc|+~q*r>JXoVČ3KHBMKG?Wv^;\Κz&n8)=!;QQrǂ/<0F=Gff itۊU;) Ö $<;Wslf5Վ YZ٤ԋ9DfLd;͞QBr+Ye# Ȇ 3-Y"!R2bL*`C5r㓂0٫7;vh!&%M >T-[x^d1)X%pwNzyNݭMeRwgPChZba-a[5;ڴ%~Mf&hi D<F/RV '̱*#r{ojqNYuvMC*hv-v15-t(dTx8ڶV& eX"R׾}||\64 [r/z 2t.g+F,u΢"c2.?xWCkH__{Ic=U6sZt0UPQ$rR(E5\mM/Xn2Dk.m017Sj >np?8Ǻ&={z^*24a^flSz\ IA__I`ӢM/0;+ q#͡ӦҪeP80&W)XfJo]Wљ'B8,`nt8 Ȁ]t6` - 0}O)jU~YhiЀմqifWzA7s&\0OB6ϟT5Lx`3$w"C{|v.ۄBx39iAt'F!ٔykMg&a~u,fU*x>xk-&@iQ4 Z8>\lXObvbàR t%Hfk*d9HX7XӦ]-(|VK4` ?]8u&0;s U,Ք29DWN\!QQg۾j6BLtFLa{R[{R6 OE+al-^/0#-3y0=Ix f+E=O_XLXqK tQ4+Ds iaCI?VHb7 kfV1Gbh9̛*,cgfƒ4i,,H\"bpN[u`S6FW>Ծ1􆔇w Z8̺Rkd{Rv$-U(vzB/-CrGaV֦0p֭vp}p5WF׻=Z[S3YOח+' 'UF$ :x2Ӈ |zƵivj⦆~ܞ`@%MA5k{`mD^bxvDvg`o./ƥBԱ9 oh(_*f# uZf/ư57@}lZh̟@$וi_U&X4L=rZokդl) C~\7Dt<,!`a}3?W(cvGps?咣>ÄAjx"q[vBEsd+~Yyp=ڦF:R2-V=2IlgQcu0Cj< Zt9@B[~׻),FEQ;*FPUdHؠ Vsۘ "{)#aBa@(VJ8fa09ՕΏN5".bk eq@Uށ| yppR d~o6JĽ/~ڙ>8:Ma5*ed ~w3_mc{ڍ3La_[".?n{ryR<PA\̷8,ĦQ8/ ,1QFKR=֨[5-!QT=ii1̪\=v4o08 ?&;sKv.lzUb.ߑgE^u65Elj0 {LcŔP8Ղ$s/08RZgYZ7zXZִF! `h]ŗXi%Gf#_8mH|=MEE<_Fnֆ 3ٙ}q/0I&*hu)ZZ&5LH4- 7tNF;asp{cΟrԬ۔`, #ݤRo2Vz7>X+շ Yh<LƟ azob$0zaCAhAJ H1ĐyƭֵumNc]zwt-\AuїE14g'&J ^1&Qovuj45U3UC7d}{ltӋ:/XRԪ^&BwEV~tk^0yuI1$ؙIV=bO$RKWA8қGv1ӗ[RW]0o04D~JWk>wޤ ާYb)W5եevqSD79ci6vvB]"&K`K-=Zt4&℄Y!0 H֩4P?.3K 7)ib {R&.>Y0ǣrAϪŢM_>rJzmd{/+(3#:\в82sR1rԚȑJ)*3.s\4m|#ōC VV19T+Ӄq|],ւjfR|mm{o|3 dE8,[ғw|k<'VW A#N&#MiM{K!a/HT=ksj>@=J5U٨݊BQA'YB}gƁ u(sEDoz<3) W90#hmIRA,?LiD%-1:7ҪO•c ޒ0LJ1~ H+Eq^kYP߯X/>?A7-, Yfm ˌ?mPZpW Ӭ3PU7iln!i̹:-"xHJO֥S-&t#Z&"]rU4;۽]=%R9q;0-b!\<YKp/7r=)$Cl _Oqqr8mQ$4M$q^?W|\ɒhH[%ZzWa~`q+&4/e%Aa>mFsnYmWGPZ)k7D&-"+0 lF (A ~^ 4;E j!m) sxYWퟝ36XC-d;hidEQynj S~$R3c%fNqXs lD {AK? tJޭ2XUFu>ZѨ˧ȉyanE>HXxx|r%7׳0CML% K]IY+~?  \Lčh(7#S\BMlnۊL$5Ԁ!`>&X &)]jeBka)!bU<֔"v$`|"s2IՊ$܁}/17BdmD=ocĸhnʎyZ-z}~1Y)1W3T~n[x+f o-_ѧe.ׄ<( OXY@m{t:9Ng7CaX^_ҷH_N=9XT?kZίJx`PGѬ=+ dY,-V3FLl6nxW7Nk-c dh J\Oj$nFX0Rڢ-8و@# i^zݷ."=AKi=^zS":A {):Xy2.D P?> GV$,{mUn^WJ@R\tȣ6Wk"ᓲ71tv%8%)hs̚/g{2Gyd컍rעu8nj{|M4(O kW*țfRfShưog^8b{@JDʣQ ˴82i$,q_YP^c' *U,L(`pxiiXE^5HEhpȻEslo_NNjөjA_:..-! QowI֣\  ٴhOؖ]hq2P摿ϼ&}r`Lk^Ơ6?V7oq{aJ)b[ePJ")#g.b])Rya3e?PJ%]p r7-/uR&7r(m{jotNgŎhv5USp2,t8r(?{ѿ> d^328;yQ[P ?8(3"?}(jni 9{1ujzIMc|AΝmJ<kkŧŠ% f!c},0?/ Q#TČg3@T@3)okD'qCRw1o)1eGaOb-1?BNcբa5exlc@ѷ6ඨ P_wń Z`U`Jt]q}[š9aF~hlb E)3J(6sM O&qYc+m/ucް_?*;VG%>""?=溵a2pUljo14b 3ce~~2=[ʒm kJ0/ٌ#O>;MY!?U( I'c6mldgL0=fRb ilЋ#Կ[~LavUA"zhNxe15xH˕XbЫJJ>bCQyL/1x`43<*aolG)MPy,r (=f؛عgq 3|rc0]qB}eOY,:Rى8 *.撴GI\'PRHy㣈ҙ.JMJ-bE*gٶχɪ#>5QZH_bh s!CZI"FvI ^$U~ r ya[IYv#B QA䁌#M:pk'J3&HaؐD2Eŕd]:xS4qewO^ ߹m6B k֯4V!TF{18x 79px5lsUB_{"͎sA'vT($<2PEʔ8eJ|| ݣaa(G2 z>f94ꡦ8@&mSN ڀ^z<)x~ŐinfGp P GcZӅ~P dkJS i<wsh1h=C@2FkOjEm}#eoɟ@ P_tz =( W tJm8@$ˉ!6HrvV,#xo[UD$D9DVq"eΩh0Y_]0VrA庤B>`m_NQh+a~Svkegԋa 4b vL=>Ydž[νRAnxn1|v08N:K9ů,V:Rx6y }ʹ~a$/{߽ʸx7%U&'eU jxhBŽ_ W2u53[w :㪲A< |^;*9P!X4i#kZ8ץѹ$x8#$o42dr1;hLJ|&:E.R)]aPpA[-TUH"O*gr/zg3 <2aQ:bK 5,ei]! ~T&,23*a.VPcY5J6d[byEAp\(ﭒbN1~H##g883aO;d>vuوdwqu}q)_ڔۊ_*$pBPX \mw&a:N요Cgin$2Ԥ!1V}m8gY.8[|0&?i0qMӆwuL_SK辢z?| g+ưM6~5s%cZ=rkh!Y JIs$߶:'44SJE& 3܂y_akR{?mw(.%UIcޚ;AFdSqcn7ì{ V"E A%g n[@RC#o6ߪH{v?,|A_&M:zd Tz᝜g?kzoȤƮ`9;cqCE`xXAfhε;,b;h6fE݇03#J-Bb_ATs&iDn{camՐ"婺"\X9D]KeV ty!̠܎O_w I^PfMݾQr%Vc:՘lRrp!@52jf]#HGv%T89a'xhy  R)f`q̰TJ"ҨzjXZı!;+ާ# syAGYVMc&! !C&},·`,`fķqvEW~3%xVq|a-+E`S:EXEsz5%#Ks#-͹R}4{s-V#=z4Lo'8b:/&2~: 䛚Qcwٌ_OF'#TB^,.i0[mC~@,s=:#TzK7E6 ๏Vq5*W9L3Ͳ);%5ZK},0a>(Ptkwt_D6M6.$x\EY?؂Q&F^ոLg*֮~I:7 X㬩/g^^MUHNfpQ95%]նtܷ kضӱAwU@7I1`ЉTL5Y &TUcvl>:#Z|ר([rW+.Q, su͜ x'&0K];O}%vO/~꣋=m $V,rY_fΜxHj}X5l$D#͝y]8 B`^KVV%&%>XYvp'p %'Ri :䓏 PaiB,CFX+8x;O}d㍼u/菄*K s_/evF<__PЩt5(n;g4mPTt4 ߠ:cR[G;c[g~Qhqp06!򸽕=TT g~6rAc"k??.r1(srs:TEfp eY=|Es ?C8aj64PLJN_yqWF(tݑM ԧJ8T #Ƕ*)0Ǟ4?]. zȅHLGcLi畗hEg/ .W}IJtp(tBKh?f (1\2 F?=ڸBiR}cB+ 2j^11sͼ#%IzN-.VSad=+NuOI{(,7C0 YN#GNW0^?7@ c/M2MUp$Jr N Kf5 2] (#y\Gk:θD!g Jbot[JrA* oKDhnKl׎S^U+84xf-4 [G~pj'%ڹWh:|1,7 [#E-|&gGd׭x~-6ogƼGF8\+-˜1h:qZHa 'S嫶(>w+D:O7,P |t-pӳDa@a+Wkg#Q1yP{4ɚA]}3ɮpb7|ʴmp$"npV-J "qzm(Dh"˳\LMq"G%-"$ZVs]Ю/_hZj Dꑞ$Ҷ>q͹Z*37&f=vs:DF$Wkt]K( >dWIj"$} =p ݢ!ڗF*6:}![k#n⓴uɝAuw̲$Am :M RW}_2{z1uu 2l~r@s8XԼB_8npoc]5D=q6ѫUAWF b K]I81Ʀ$.~þpg:BQrnlZx=6013lLuNH͉_s#Q׺MÿrEt8D:lRyjZ[r)y ƪ ^F$>'E B vSs@J ^a/o[]p{'_=Kv\1E9iRUAA1,b=(M;PVē0 VǒJJ+/fELihME<'vOV;atX7(]_xOsTH8'ޑxp4ν!(j1oI [Fn؞[b]JFjGɔ.ylWL=2Rɼ[@I7@R8}ttvpYN|Xq[63D'`RC^xgj)U~Q'"p;^|>Z}b57 4 [KD5@gNY ؖDa͌Zu6vlq}/XDZ7Hl a;*6MY);6"@ڔt%-?I#wVhZSxmRgDnzLɨ*t}"R bOD61qLlcuWL*B&pt(R$piFceER43-ۮ)c\YNPepLtR, dpkd'p@|5Ț~o@;/l/'$؈o$-La}pkx]GtsتEED%ggr>_qk"AWYh(  .c u #Aϋ'r7jŢx:;H"d}~7pPIp=vFv45氖 ^V;fh3ʠ_b(a{&dT$ HDvFG?eok@ݬI,;5#eK G9pGK|W^wmxA[#:*IE,6D"Ɏ/JPru E.i}m'go` /0xfϓ.zǧ"G#db Ps [ &F]i siEp7F GpJ+ gۋg0=X~:Glv-1g<hXlkKR^ż̤5a]C(G'ݔM(#D/y)KY|pL _N;(Y%Y4x,IN@\^\G2#FoM5y1̓qа> ' _7NRU|@cHnKaWP$*Mll)ohv4\lTM|ҟ0WX¥2>Ve!-'.`d'Vێ?X/2Z)qtDnW TBs3lӼ,CQ )#t𲕂3yRz% ,"/==N4>t8}X4Akkx5AvGm{ͻ+Z;퍏?ëNsr\ʹPV^&q?2=U2&kQpɡ9קZ!kn:sWl:O/⏪-ujQ"LfNCPˊaY:5pG[|)wnP?^^b&Č<ᅅq<;-Iҿ wVJZf&oҬ2Z aR'T"[I:=^Xkd/U9NaKQ@*dbg*JwLűa%HΕ ewC2Y2v LꄇZ_C~t0;yl)N3j'fAb gqykR (`KB'r g. )SzMק{=oҶIVBӲ[xpS:f>3uj]Y[62ds{7:RQ}ct.!tt4B ~ܖMEx[` AkRcPUωLi*D1B J3Ǘ7q"M͝C#@ç^}=D'S(u1[4 #64mv@>2d[Rj/p01 O!VLA<\},! 7K }dM%Kzǁ΂8×~gk‘M̻GMVۃ0rCJk] XRGġ+;MDE!+XkRVKs+Dkic4vy`4`d/^LqQ|MB`$!D??-W0Fg&ւTd^R$4;:a㨔'[ ޔvw33cQ3U%H[Fo75wks >7{9d9k1ChٲłX?h>fe(+}BۙެCA4}/ر׷]h`XqW70H뒖t7 yb-2FI R\wc!<_Մ%9r"x[-%>5/:#tnj7L+e(iDQѹ?(+Y&Чl"^Tg@NY;s5X ,^iTU:8D)m HiIb[ {gYs~V*쓌j{Q Yyq؇e; IB* @H(MGdZe8Ir3\]/ %F9;]jR7&>,\t߄'teۀ{N`*q7/&B{uu L!ny+Evj!Ho ٌsK\_LjK?'P/A'?bY6ұO@_X `XT5InwU  fFxʶOa>ȲCDdׄa~2a+9 vY2p}^H\1Ex2{pRc}mߡ[W)74 C\V1 ?}8+K`Mj0@f5RaJq;ge#x\x:iH"5J*bAqCpܳ=5ʑҕPʇK >|&zꝇrhH6dfLI[;\䜓w` 7I(f<\y'KRnQN 6}c>3BMjO(Ha5VNČi HxXkanNT*$d !ܛ1aFZH>`s'Wϸ"6N9SŻf@DGBԘ}o#%}Ք5C۾Xda4 +mCFU`yel&:H@+Ұ 6= .UȩÙbe#< I:xoCH^Mө7_Y;$}hY<Vr Y)IԚqs)i~CLrRўIVM*7u#.6'39, Q!xq'LI+CFM}NG+qOku9" ФFԛefYxvOǦغ.ܯ$䁎ex(&+ F~iƔԺaK{qz4W4dfK"?0D Duf? ^7'1y98O^uzsQ|9%im}mY!uPe`Z橠 8rltͨa^:i oSw< s˄DsvoqS;},qhٜC_j_V BFFӌfV̒|iEk!2Ty.9S\N F=.nWlKWM5XL/kOl=6JeOJ߄#%M7RYB8zW=D){ѪI41ͭy{?C$>icRbq-?QL`j^ B:Ƈ"vqfV4YDo/eF.l5TXR/.MYī^^:zO/ E(ەf@^u zDvs58x;.cNۀDRVAI2dk, p#|L0 'a!om兮WM=Y/5D2JG]}+ "s6]Hs, Zr';)bmR@B$( G|6XZz"{;}kǏr[90G(c Z͛G*CaZiAGY49w܄ 7t<`^f5< [6+2iQ]* o׌[/~?x`.JH'W:k]NX?:E&B-y'N:d,{FMPF@YI}/pyM%YL=~C񱸻G`&?_PgV $.I߁""W h6ؓ^Eu/ :V:/Gz'XQ@T?/-/ogv?iH̦SO cW ^PӫT(F!1>Ub—I54+<|O0.OOkHnWZ)c  Lι*q~[wDV8i|+2τ$})Jv T4թPښ-mPak; : $(hlJ7^.!GvQ'/; 0v%|Մ w8)9[R!XLC1u~@IKVlY=y)oYHfy%7\k?]"!~@/c8-k28֜ ??6Pq8%gcqe첪r}@(6-Li0(EGRL 5G k1$]HO!tK"Xs/ kW[yl* @pɴ\ZCeɁ}ǚ;c_jhܟ*+Aݮ,;*UJf2 ­*@n H0!^ ~l2?A֥x6{"?.9ہ+q9%RJZdt_4[1 '%قB ќPRk)jVRӥ#TW v f_*OuN]ȣ Mh]<&⩜Po%W6TYPq:ZM]{]IX}-onzŀ}Q*MDVGW[`q7Զ# lk_3Ndad>*b)_>o؉ǥG?;F (\x #:O{p`3olxP(MG8 wVrp-lpqYnw,3TzB&_ ͏MT[='5XN~;3d.a` =?l6y1fTN4Q_SCۻ, &z}Gqles.ӣ/blVLgB/S۹K_ȠX y|e2 N6PA0]ߩ),H1ܙVS=vth'DfkOF["dmt߬i>ͮ axCG'z@ffEȇ}̩o_GVM *Q_Wi]\#&O$xp2!(Vz3cm2032? {m՟LS x|3Į \lfyZEd;Pk"~ 3 |OD/l7X"l:M} [XU͑q{!5Z̝ҦT`+`/HA^ˊU֎J[ .trѼ0HvjPQ#4(i^9lһIc=]sWC7]v~r%)@hSfn`Tw/߳X08pX ?HG$ "R{!_t;]HF|_M^+#?DKm?t u.˟ +G0e@nՙu?Kim),^">rxQM>(?(8{*VF\/Mw+pDNAkkDAW7Fsl^{ܜ>bHG74ӵTc 'zL=7"1gVCb,T'FI;q-`:2'{qqƞno.[Ќ?珊6q+ZEҔ}t*pwHOE`SLdyƐgic&VxlxGe /:ћ#`5ԥc7췄 $ "AzF]5Lx&YAYkJɍn+;r2,CVO{ֆ&lٔmQ λ:94@]-2#FƢ<0ÜY@&n:6xxGsQvbXIA ƹ 6{O ri~c>N +|mvwVџpEҕ< <18g݁ T l\^1+iȤ$94=HK6Fçl'{NRx,{-O4əO?FTZQ ueZ?촞8&jn_Phޢ] T1v3,Y+l7(Wm>ŞHf0؄|XBaoRd}0 ,J#s?5\Q# CahFL`R)ȐZ_.l[V ]4á]l$s/)Q)ey@ `=H{ˆwc[Mi^* X ~m6Th/fW"p{F)?6wY ;|0y?j:ϴj ncRiN+(9jh|YDiXeY- TE;dS_] wo),L jI UnZ\QX ճRrS\K97~ 'EUx!UjSsUTt|$Ð=!ԷvM,fdT :J_edh뾟9F, c &1G#\[Q9mN s~qMd!f>i+pGQs_b>5Ӑ7|"`ꉕ]]l!M#B)ĨhriHu%#'09sbPAC^r "VCNkSelLϦu7[GAfx/ DxOubFY/Rx6 Ӣ tPlCN"ccwD|;)r cE!Noh[?fcYl!0AD(;f-hO҃ƹG15kPr-dB;3rZ {KJG@ʭvx!f qGagN_aP}7wI=trVsڹFA)ڴbW kςj_9ht Ӓ:.a<RC\K)|e{=MHn2_+ -$YI w[U֚{$:2GGD{Q]d##P%iT*Q*kJobÿ4p,,HC!)rT< > d.+De8{ W:z853*l(>L<` S#3RRk.0f˗1 gPk\\d#g)J5!3 i 'N/q#s@CxEr:{&-aMOϿe<`6 HcAbؖ˯c^$0V1ʘE Z sWD\X Hf::A{f׸vdM _ǵnNJF 02@H)y@1SKi9MH-)2R A^rč} g(A|spɏ| ngD4py7= [y$-nrhԃAJ浲*Vd86+^?Ixz7,6hufQ@UdQF(Fu<6' /++VQK>cL1yaiTŔodVen{KA%];i")GC~r`/Ꙁ n= þӹTȯ~MrhKJr%sޚ {sX8^P~~P3VcxIA \\}:ў&>Y\LPɏ9! ݗ!!:/Ӟ:ݘ jyBLbz>*D/>@[4 3V٩D.#for܁jÊ[keThuMԍk_E rCVAa1$&%rNl1ڥ!C%Ib/&l3y1@%idfwO:N@: {m4MI %')mqK[̱4:G$[UڿIW ͯï8Q+mf4o ja2bI[E65yA|w;_"8]:l""+6..0̦:NI0VwLYZw#*FRL0[lncoᵂI"DKd .tpYjUmNnM^eZj;NR2nUj/^^jڇ}4; B8֨]߭ vه)7 )v;@7{p;#_? ]xSڜ9|? Aʹ^g!xa3gTb64`BUb9&qzv;9罳8{QlD~G^ 7Ώ ? 6YHT4/RWp)j<Xn$[9>ޢllC@&m_J ]r6s5#jc!ڑ{P cVa{?d5 _a>,lj]~?kT}9O]!AtD}qz2Ske\cciS~* $\E`W?.BYVjo}zb; j>|M4FUʳCYZV !晦Ww՛S?$oBl?aYL =Ia+)5(xXU;qhk}6Xp;߁'F~ZF__f#[2";]a%tyɼЂ8#tiϑ&KW %wՠj[U87ƥ7/[Xy!LXHP"xfđRwOoniyۛsb f[{f=xսo J zP\u9cA F{|zy-䷣pٟH?Px]c$Y>zO{f#x#ֺ eƹ%X~ҘUNcQc.QO=٤S`q:>|GI'gϧcro&{4r2͌BHcejz૬7p-<78.&g,Z}R0v!!z@csdNg8ZյqQO9jҪa+Rd/nԼT?)P#@aP:ZiAA~NZ̈ҚKbfa,!RS%hY_1fK}97pByyKҰʢo49 -=%`3_=ޛИjM `sNI> K|q'/KUT^b",sPəApIy_ mpd~GaFQ.G*I.Gj77h`{S{l]F$8x[^OGJ,%?ӍN^ǀb_>]1@ۊnRrjFYʎNqc'}s>!n.?/t{*F 3f-{],B|[÷-Q'? TrQt&iz /Aa\K+Ϯ.B 9]L <5梺2 t^,Sʗf#C<;c><% j}lUsY U#NA,hgoK7 M|M& +5kEfh16JfMPn࠲ tn9@)$mqRnz,P 2+y^?߇h<0ԏq½F{(v3!y 鍙=Ѐ]sf(Ufo̿Li3Y%tӠ.pNʱ~>9sT.=fܻ`o7gxfRK@wFHg>Ӎ2-͵ò1SJ&{6z/SzQ^( me`9Yb-;|ӓ?lvkq1ДHjUoȄovLW k~"ʚXDLa)g̍b] z2!2%8XdDvI'eOy靣Api7lt ;0g}^ MX w9ogߠ\&qRVͺ?fFpbl_%on\*&kיhPL^ꈼ.@Rƀ{f:DG{%L8S,<@q|<m9y?z͕|BGB, av,ȥS"<`)) Ä£,-W[DxW".Ǎ.w\̠z9CQ%zo<1֭Ph/8M~,)-"ݰt`<|`{t6eU FBOV_z{3%?g _ldop=D@Ʋy)ŠD}ִd{W@l7J`aMLZr~3 uC˰a+=AսyZrh09`*my>ǍҭBHՔ ,?|UܨڕwV"_ngYZda6c68b38b8356f8090a44844d5cb06e5c646f261795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 7fc961cc80e3fa14142bcf04a0c8827ebbc701be f492cb8444ec798d386f376215f7b1d35a403d0c 3180478d55342d73785f773531737509e3a7853d 368accac8406bfa05c921ffd728eca767e6e8de1d31a6d8e8c6bea3a43b3f86c906d682eb51addd7