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  21Lt ]I]Jordan_Normal_Form:threads=4elapsed=355.310cpu=1025.976gc=20.652factor=2.897zXZִF! G]ŗXf[&ɉOW7IÒ66y2bԖl |F֠BQ;Pw#ތH6Zro m!`?E]'c|wfYK+ 5 3 Ymg?~^Y 葜ޘ ZbO`˗\~rIr57&!WtCߠ!.MJj:R[~"e*( 6Ӷkȹd^^:SmifAg?+Bq˷5' Ս|y}NؤS;&e^1ؘyjPK>\G`XG A ҥݨN|0/ojLUb/]7DB"Kqv91qA=DrȔkm#GX #P\pY`mx"na[KCc R^\k6"%ߑFB,@oڞr1W#KO iD߭ 6UԐ.s{o5lWi#P٭9kt=5EI(uQ;D?aP>~;ͅ8vYslt|T۩!x`. pMͧB"Sې $=(\cdr;dǡ rӔ\R vK?JP߈W%hk`'|kʇXw{´ӗ8ܿԖ/m8TVK5&9bipy$S@՚ʊs]E.G)CT5tOv#|DkuA j A N6R}liqwA߅bCwrGoEq*'""nIWNTrzIzz5k]*%~Tkq{ U{wQ'7ap_ri׸|$ٜSݹz .5ڭqH)K0\lUEϰ(biX8y[7 Yhj@.7aEسPuwG{qÞ[ "9Vё㪯z< G=I [0@JŹ4m8M>4yuPZWrϔg>_Rrh f—#2cBt%DsڊD//^l?Ikݞه 1 Jordan_Normal_Form  G* je`;G.uC}0h %{Ӹ:`$x/ojX 4 U'hѭ(rm Teh9tyZ2cᄘ@I1BQֱB_ͭǚXH5oX'.e!XAd~: رF5S5j4: q'6: 5*6X<] ~O7iI)X='01S \vJ̨ý☳Re/dL4 ǯsrxkY}$"Hy&b%z(0HyBFOM3cO>m33X] sGaACz[e+GJb|uA?ƲnEup3L! ;R2+2C^5Y`N-Gp e(ETm1$ >BC=l:]~T53Δx$N4y2fg{9t W֨#Dm}d7w-e蔄JT Ywb&~mB;,= F}l,Jv7ho(`M1n,#C\B>†3( 9{^G }#.&k~$CYTEd9釻2,ޢbmxvzk nuGHEd(- pjTs|[8϶vO jd7:ǟV^IeKĎ#|6y81 ƟC f%fݳǩ}PpI%J3 D#-4pM=@N1 jb GKW'78 w xfM8-@yubp_dU +cTӃsE^%>hAZ갳>Ch&:|۝ْ͒5 ,T '覝FiWwM}{fY]4+ecRdhR^l|uIqr'5bxzQ S. ċhd <݁JoI.7Y4T@ p8lr?F(VͮB?6^9$dRLElSxٜ B"ʇ#ͅÎ})c7wh'4>3xϗ׆PY$%P#[^7nXOZk*BYDJq'H|ޗ#RgV- }|8 !(*:ث&[C=-jA=7堼z'؜Iۚ:Np7v S(ٿ pd=zNO/.87.,t41G{šuvwix:8Oƈ6b/q{Tc5v[(Ϯ8]iX_:ǸQyH ٔ"o;G KY# 6T/5y{3!\]j|˭A4ύӗwfeת"'- t?O:*_K&T&s&G5cM;rq7Gɓ{7iYމB(^[Yq:8Ԃ{[+,Ie$d=Gʻ['UtuZzkAPUEc@8X}$ kzq4`Kr$^*Ĺ/'=2OWg {#97*lDgXֳĤĥGJ22AFcLq4. Hkl+g U3O=X8qE@'PEuue$\ƥ[r zeG[hP JfwO&~^Wswe3-#MZ^Q8{I\W:~giG^~3+vۍd6Re;}R8Q#'rFS+#5vhHA~tVW,AFw ܨBp"Fוֹ+@)ᛳ6!XӁU#7#qŭ"t\`-ќ(:OQ$̡k1P]D[ C,d7V|-{tHK5]yU5x] բ]$!ë9=*V&*:&tTsʌyGܿʐUnPyOZ:ScO숿ԭZ1ZW\_}''oYי(2ou~3-5[tE†~wOK%st 9N!:JG>/J.Rߜn.JlSg]/Tژ-| xkG})5e50hVٰ`5ôD,/[UMh)mgR]Fp2>b O ܻTϫ6PS#(YAXl11KBٞ' akK(1H*8⋒c x&NOw*Nd,F5%Oq.}3%K7 8+B;~"S>@O[Rc0-!+#0\mk qs1n5N{?h:cى;C&#p.zIAXM&q-fB>\5F߯.3Ko_j\S"I3H<:N(XU54@0TO|nSCW!~9h8seWfVy9lMWYAyceEۚwGm? |- K$6}faTh~𩈛KD]LʸMKzOȻ(%X~II.{{Lb sU k.GƩ6@Z@v{iiKRfa#8/ÖלrY Nq+ I!ʝDo B-}H(B[&Z[~^*{T ?9t+*zƀNXߞud(`/ )2 9FfƢHZScP2(4N%01k}s-{K1IY}hixcH2kcq!JJ%-$V?s5>-U%߯Mo ~9[ VX:FUT4䜢.G~k^cF.45N*h4K ,ܟP_W-0!Tb~;K4O& q쟥ud-.En﯁(.yݕ0s:wyHA>|.H`1 r->Nx,)b>=ވ۪d1DNmS@/0LY\,`O䯃HE:Nk7*4zv6F' $Ii:5llXqQ ^ytYCiA!1x92]%B F{PW"cJ5h@J)[nv4O8I)]#;xP6's*Wi" O'8_$B)Z;IImX@{ֽgm3LeYpZ\jT OVSTK*d5 ۾Ov.TKzۙS4P!)E۰`2|eɰ^i1Zw[`D_"ͥ\edFYjZw^rƄ=Bj)nrڡde‘Wɶ5z$6k i;V"G!Fyjڤq֘^[ Ծ٢RGB Q>=)xB*%X.bs1 am&7m庅"@OtV=0B9# cjpN*~#?, UN@%3jvאPU'!t:bqr|؛"GԛYTQt_(>h_K=Ur6ɀ&y:VJ:%E/TbƶOR`CҢU<R(z8ʛuCKͱ\v +Y27i!(enǒZ?a yE$)W<甙2)[,g+u0/ `9j*1FjH)ͻ69,#x!C!Bio6Mf/hKȅ#E|%-&z'ZDG%*]i$;U%(ҡ+E@GN&X`gtRӦ5q̱gYZ7zXZִF! 2]ŗXiɟNGW=:;G v{@iH.гjMO36U:;Kdo₍05e_e?ԪDbuT1 gM[Uq wFQ(}:b6xL h2Ld>YL"C~#<[GJzRⰍaYNw# !F6! ?6SXo>bTToPr(\NJ] 3bэ1ft+O~#`y oW! {[o.g8ۆAY|v1Xp5T|HZ.c: T>կ^DDʤq IV!i_e5phfn|'UR-(}Ƽ'eɩDOƜ/A6yL g\gXDb5_>z[{!3I ܣwW):8$R}%*MKzkwtIf!-. = &OBU@KAd9;32Rj _՗:ȊTQs1-}1`'8Ըׇiw uxL ,$ 5LҁFjM'AˌⶒuɰG-R/3XK_Q (.oN|X?(?Ap;*iy}/IͰ]*9uAm<2u>2"l Rxlkr7fZ⧀`~ۣjLqJBkxbҾ_4 :9Dd^?&8݈yO x֝G4@oCtQ0rɩ ax[dۮM~g)k(p?",_>ڻ?Aw)-Qզ1B48SUT;Fn5&ƖȸڱL^ށnȲ uy% 4Xذl|Qwۛ#) s)%s9`>< 3/I+NvO<M.:Jw%P%~mkChoBm = h'?B7aߐv oA>TUg#B +s kFh)m,^Z.9tTeZAtEԵ{Q(Elwa`>V4?h 2=3,dj~m)H瀀D&A2^FGк2.dE08hE J#h KrTy3ij z~0:@yn+B *,^]@"-rg]QlE报S?#/r0z ZX 3t[7z6qu-/mɗQ@_/h8}w"t_(@TTݜs2Ϩ}*8),dEɲ*Ϣ}%K-+R9Xo8b?%L-Z>LTEtCL7p=TVCޒm!bSE- Fe\=639ڥbNs?"zj5obʴݬ/xtҙm!$|g)wo=r$Rd4yɉCiKoJ/ac'`:zO, 'SPnku/֬F]t j*"Ԏ_*Uo nK Rwu yg54`% -&Vyյrr7Fmn3^FBZmU C[ZR IƷ}P;lみۊRMg͸QU6-(\62V/aHt]S/Km1X xsaڕ&rMɐԑ \&3_S 1 )&@xp+ۚP ?mC\m"k?(YcTFM8YbKFU^56bFU1 2 :d(*vλF ~\(T*kQC5+8|J[dϣhtzJp-UYc(pϼ.q^8g NǗ͙jC#/T "݋4d5uUb.X9nsI x"ns1--\O4PJ~!3wtLHY9@9 vppr,n)@HL֒^Ѐ* BZ%@9F ^̫7,]=Jsw)ߣ!=I,:A$S?CERVwteV9fB0)ęJLeSW&DH[Gs8ښY_n ǐj8zHӹiFpb{8SⰭby;9}@ jf4 O\> g!Q(AśSi~Z#CHX\Ak& +>= z[gU.]F6. ?7:1}Q-}ֿQpR_s[eht`dp>TS 0CiRqV6M#x9V;P(٩jPgMt 4vre)L.ȧޡfY ٥F.+x 6Q H|#WE&e_n`XN]+V]VOfwb:LR;4'aPmF/l0#__nݝ9+s|bT-\4ba)ka,9W)~.|RlS=I7$[.ڃVu݃2 M+?DC.pV/T`ZFtZkE=n+[H˻gG ~V˨Y3Wv!lX&+PzNb~Nl8\ }~sќq=^dqxP!ؓL9>RKs"wibUOO )t.b?LvǜNr LwusX˒{UZ^Y}#cg2o"+ 'P0Y2H#xt-gce5֬BE7Rkݶx>@I>C&<N}&]/Kt0*L1RAqM8AVnXu"o 7Yax|Ն[W\yޟZiv1ezɃh[קR ZՖ9C{ilW€ê-AR s5zKzG1c 93ۡ=[e#= iYs.$΁Jøާ`8/@#/Qߣ:|xGY4\.dli?WiJɕr$^ .ƬV P("Yos Y|n΀y Ig,~,-^Ӥ6p;TS1""X!16J4`Pj@3' G|}rŜe}cy S(2k?_%Ȼәn,HM)f0CVRմM{[l{~4IYR.l@i^'GC{{;; #˜>SƮA%EPTF60F- p$ikIj0 IFǭ6E iND|(:P5uf[ _|pfefaUn"v>]0=(lqZ"xk {II6zD3܍"ו˅E uG־;z#y}*o/0}`CiSJ9Yiµ}1;-X|mX|*IvӶizkwɧo%ލ(b?6wYd"}{:y-Pe' xTEқ~tYf<0cfrЋ_ֆVACmй9p.}. UGXY6ژb]$fC >R*źPT#I07f PDy607y0 /p3),FϿwm?=]Q'\^:< NaB7@xOXYCeSZ3PnKEQjH@lj_,GU֒[8;3&)Oc9ljh]3~Or[N&P*C24D:WcCVGz~Apyia#Sg 4<<(b hn $=,;v',sQш&+(6rV ABƷ8iRTQ+PSҌ[m6yI`cKɺaYgMTc|=! {RkePo10p@>=:w<sK^'A+*,Aʤ$+آVCwR#Ac#z!8֛Y#] %k03_+6 ==2ORF4cLJI][f1Fn\\fc f:i-)Iɒ/Y?Z҄g+~ mҸ̺r)U8ǛhxZd"a۱SMw҇_cSp"d/J@VҮЦ[7*2,^”&Od &Uq N%ɺ R<\wJc'z#:bЕrضY?G`RwT+eG-G_UfzXx/ë́&30 JOg=6 ǭ U$:#.Df<9b!J0M$ Lz 3in-&dk\|_IioɴX0olÔbH`CuWPP ZW;8aL1P如(Qt B9>fgxnb)tפԚf26?j]GI43 O??³DGS|иK,2K L[+bOuy1W-x=4@X6+f?2cg,Pق|NHtu4/ ;٧̵]iG(_VQʊt^ ZX|3@H2{9RC6kV4 vh'ᧇyw[?%h.Nz8Q3ac`(۷(Vq8pTT-{yK68bkZU}WKxFY@,i8߮Ap$:,P zk}QWޅȘsKݩ(w9܆ucYx/9k<Ox~,NK}εNt_`X! -п k[H5.?#s}G(Ec 31W8 uaOC)>zs+!wYѴq8nHJ-f_b^#;tz: >~r_<.kEHޓ/ Ё>vy5./R37saYA|ƙ&k.!s̫ڐئtINuPbcx_u꞉F6>9)D/dfO<=5كq8QUfr>o=bp{n^e,VmKr|,9o=Z#˗:6W~0!.a^!C}<T@o6^TE/ѝ3H'_VKjdĪTEj/&ު,[y;M4ju'<9$A8b@uٴ\U-wiJlO|.ܼKԸ ~ʭa[>o"(,壘dQaٺ7oY缘\ci^4_%!NjHS,HpBLW2urc{ZxDQEug*]U\uN"5&\+:`>ͪmiHj,"e(&& $Dpl?g/ 8A7aUc8+byٲF',??I$ʼnlH?[+;ALBej-.>2=s,Q%A54reY$g'/ ͨ׃C)wUʍ!Ͱd. aH*_\Y`tb؀W`OT$ӜဢuϊzҨWMZҨٕNFJjYb G7K~L%M#xMNE%sz(PZ؜ENNG!DrRhzU]At*SJM4%2K-#w]@\1l_x9~#ꐓ A\B"rKғ-/GxγwY11z5oCqpQK,m!2<=JSy.'|L0Ndi.у5IfQU~Z@PzXFTNZL_B'k E_pj ɔ)+ݺ 4]mSg(Zթah,|~پy+!. <^I EhUc*va8s*v,C M 9}OC3ӕۢh&vxMdn TtR?iH Kk8ٕ og)B[sֈnؕs} |H0G=,NkbJ̆ò"y1~mJUPAsJ֕BN:T{ VCx\ӚW B05xno.nY|3mJ8#mYxi܎`s;-Y7I䏝 b{z_&*w0 Q 8i1$>nr(@F i|m8w{c FHc1<\ŶYo!+!Ve'i9ꢝ_!J8=vzy[w:tTQ5q]?e;/bfq)1 :xxQ$ da3NUp[u]<*3ނ Z.q_PL:I|60uے揮^Pz~ޥI0U+-#o/ЗJi%nE0Cڜo$iBi۾ J+ @:}ZsѢȖߐvJ‚GɃ_:o+ҢMchhBT*jc)KM:"1̒W0P P7pvVoɊT4:4̀#Q|(>h/ECfߙ@<'t0V Tщ2W3h$E@9pX^w\?G؁iD4iW="'Kz5EӹF?V[Wcg2V0"yEK:Kx]T ]N^k=)Gw/#Zמ=Za $ զnGHBQ|V&dW~v~349=r q?1ʜpOWtu%bl9 F 5r=ײ\K$W]Q+w8kIǥ]U`~+㳒p QkD[p:K.Ȋg9Uő%P3|L@Üx d͈҇͡2q:y& }2.KF}cW5\V(_93k׊TkRmb%I1btV l k=w;WDd]fM%p "w#gBy~wL̎S48W %C`-eXߑAvGۢrPmBNW6v0Lҭ^ZC 4#>4mY՝ b#G.2X Cn[$HԖ&ZsOHkzxG{\%ss vK菌zD l-iὠT\xonK{&qrYJ_a#Nj9cRzo\3jϷ^< UZW=d5q;-r(_Zmx.]S:nF"`g!&&H&u9zkaÂOk_>MIyxmUۻn43؜~쯍4>h4"ˑ3āߤ2> QKU.-!雤9*NhXu W4 3_I8&:2f0F}P\n!bz`%~!p+j/kIϜZ<2g0QlM&Tx=R^kSVHܳ :.N9'44}RΙgnDQXK_vLND9kz4\>wcF8l(GQˀ{_6}-7 <Ֆgɑ,``5c(uɄnr7nZ Sѯ pNs@h¹(*}fUJfc4AGɽoZvg//>+tH$@vy#;ﭣֿ>[]sߖH;v8.E|Z h_⋩ RRvW ]J3 WKj77J/48I7߰댠Q Dhu~~P\r˵/_]Mlf0)2XFV1$ic O?džR!ˑD$/^1ch ]_4{ATF#ːP#I3'䧯X1A\UبTj^,p2 1˰Ӕ$`} c>;*C[np: 2+Zb!rmOy]OV2пwUF/ 䴁wwOD]iKg9 @4=W:wsXdR5;6=L-J,&{yh٨ᴬ&֭o#>zv&ke׎}lz\Cj( C꓉2 sPEl#LF#o-̡R4|ގ3y?5 羴@-y9dJBYǮVBa?ꠈ!S_|CpP̹S~/kUHMK_ [%n۾.d1hjҼؿes654.^ V:Kxyn:҇7H_)@1rN忷Cm~sJ *޲,(@XG4 ʕaDJ:sFZrU>5lb]Ң~1cB4rBʉi?u)ccNkϴVrBaɗ_rjʧqa3X|ꃵÌݤ#TӅeD2#a.kaBM9tzr]'DaLQ S$F^N䈖_AQAq+E[hk[4<}^j X){~ :u=~.e׀Gp4&ɇ(ل mhZ$y&J%{mfq779z83"{>q'ӧVh+*>,[Ul@FW8NgWNqn=j.s~\.O=`tI[9S2Fw`&L^ ;1n+J $㧽Oe'Xq:>ۥ^Ő2F=2[] "b@ujzp/I[at_ l-ꅫg:gE$3=u 8CB1Ҧl:=WL[BXR"J ]-S6@h"ޓ*YQ_Uc(+M "_|?//B$!@~sQcwO(@{xBwwhF壽"blzb}_+vľMiOlD1W#De3EaJHv8mW-,'-/&cM'|W,]w{-Y:BL LIbxDY.C 0wli4H vň:x*@o 覡?WlCc~c(hZU9FxU.\bNĽ4 V"" ]NP-,=4g۩dQ2QŌ3(N(YG|RRS z_zTP9Cd>Po)Ggu m}Y|RATȔ片Iz?yDNM|$>WEyV֭YҗjbHoETH-8Iq-S]DCIQm.W,S5lS  :YO`{IZdar} 153RM1Yஈ(jguG$`M*U٢c쭑;~ ;&? gcBo@!MfYBS[<5=n!B7t!w沺кjO(\w=/TYֺ0ϝ\˪4]*>цB+w!؇\:TYRq[uFl⭓! ngܓ ʟ:Rcp+Dx{1Z v>%=&մH*?_9j4K/"&Y^ϡw_ˏN4BЫʰS}rݻo1wƃQ) ԡMA!;*h*R_6伒Ү̂3TMJ}V O2(rJ"G3ƦQW=\-8=`s%p*ٛ-`.H&c?e\uRE}k ?`zC9,WGÅ?b[К @jNj%KoeKVUE&hUɍgCknaƤޤL(&$ IY&i{C9 b|.1YniN1RSք%H@aqi/F UxŹEXB4(# bT#0XdLq@e(JH$U^MSJ tMQ|t-m6JY!ۄd"DbΙK5,9ϲTܗ  ꢿa8ȳۆ!A VNQo$ ٷG'S _0)r`k#$C} ?xAbqL-Qn&;&_emVYʊ$"sՃK擵@u:y]^5&!<ν̓mWjmj~9%wm&y NρMa6i鮨^&v S?띕B,%2w~Az!߅ qԜ9챮 Nsuve坢CF#M2U3RhZ9$v=QDިľY a!!=`G,;}%$$p9p׏ P5';];9Pʼ 7,] ~·3֑H'%? ?oh7/r\`5's +bVd"kЏpiŔe9\H00pgOo-03f~!'55A#~Kc`>W*t:ʓapE⓯VУ-GB~-aw a/{j@^_N iSXu'leV8Dh!t {5o Ib&w!:V6rC6Ɏiﱣ=%Na)g!&8y6bDhDXLn'ߺvJ_%1]}!2ij]i Roѿ["I/nVƥ,WV"࠱Z %гMwmWNU/0fSI.Q G|+ Loē MTr/27q]:U3` :|qFR|Ey fZic!d^ۇ~ -HHB_U0v%(^xd=GƭXD!@g{͵ƵqHSFI01+#+0 (KUz>Sy4P*y`>NSR DLnl'|<„vZcӑ椄;?XSΗ#]+3qQ3T,CZn{iT1@(K3DɌ1N^pK{ؚi)NsM ~1B-yzATއ޸^Pgƍ@Oz2bg!5ee/75vO 9cPx @\]h kު2PC>*-׽ qN_yPB=b.=zXY)AviDg36q|xSQ6*@܌"WJ}_䯬Hzh'BZPU{(v)΍吉_:II_3 |b}Ό88M%+FJ P@.9bBsm8hVcF1:A_~kpcL02^pŵ-w[ W'vz-̑f \̴be1$o$FINzkXGqgs !>C#opPr>nN ֐Ň!+qIOn9IS=E蟱քoS?J^KA?6h<ُI1vV!a0*{A Zhb<KQYB]ܛj)2oD~d6*_UAɌHY??Q ^kI.^豙C O(5{v dx@g]&ҷ;9ݭDU8[*'wP;ÌDwZ)N >ne֘$3](Vͨ,, =FAWkbRTXr65Glhb5VKQaU)}gSZ:ϭ̣#`/djy l^^IPsz p:{MK/{)#`focOK"4- c\IӠέ pz:b)W"1!]C<\k=*,K:`.M12cI(gxrDaSpkR@~ L_;;Bҷ.Av?$VmU{#Q$ʂNU!/Wֈ^ڝpO156lLI^~iAQaF }U)=kNxb)[{<›$5NoX6`R_ܼ>qYw$(*DR_6/c$L-}*B2kdDۡKʌeLuc78n@m+ Žt'5 bBo7)Ox Ӡџ8hWb+=AWBj2(`d %~IMXvYLj{,W-qh |EM){PR$bPI(؜e]*Y4Wsv@]}jkgIK,0* '6oF*hw]TëCaɤRy3gj'5P߽vX%Ayε(\8Ü'{G8g n?PDJc_EoFz*N jVYW[>w$7ōӉ5H`M>}j!Lm`ٸ:=X_Uu!Hu+6 B$%yp6놽0F;!A}>G܇Yjh_I0ZE Jཀྵ{0Y'PShCCR{M[ R T6p] 0vզM. 9HO"{TcZ3n{r:m/`{f;^@o-5s~b>Ll"]Ma[)F$l|=^9"=|sj9rܸ(IBIU󲿜BPojh'rɇ`E:"@0~D0YMЫh fLѡmW :U<C*'13݂ՄbFy4)X>Ǎ |qHb-gܐO4%o99#5ͱ9RbeL -ߍv_!dg¯Ҳ7lx@y&S ,j,w#l&ǩ8WVRBJ XzѾdC[b7$ieBq绥VAbPբuF>DV$0SXƬ_5}09{oeymf`Ҳob/-h|Hp,%"U{`Ys9&XQrW2ׁÿ&(0F!(TL9hTݳZ#V"baĵe`HOrHUϨEp^Al=ۺ|U/:P%f(Lzj_w@3'G@`# Rq3ZB3dbY D9o. ]j";vI}+t7)~!M^ %E?@KvJYGg (n^@Rވ\Ȃ~>(Ffu֋5,1a=Nt4  VYBGoOP-dR*'/ m*#9 `욋if\{,Q$TNqL-(>g?AbkƐ<| Z׋Q}QxnSvvZ(!itKںp#Y2񶲒8N$Y>+!~Tp5/ 1b6A'뢿Nk{w_9wXZ>m#-" =n*0 Ogj(_? .i 2*qas7nr$ݔB3-&|E5wy_ėBb/(lKȟUd|/$"Yk(ydNKaWRx:DɝU䏙NtW*za]@-Ā^8By (W&0=M%sdàCFɱh="^N= #ʵ8]IG&@|%zk~]"$ҵB\?,x|z14+kvTnAc(/)tr2aVrw ᜒaDV<}xe|8Um*#ۊ~F 0Ia*{&RbÊ- C'1cKŅ{=\eS7B6+ձd0#,% U#A*o$Gv-͆hdsKL{0|ؾlWVvnBDʦg;L9g]-gvk`=ʾX6,Ĥdƌ2>;ZwhbE2|%\,Ag@oCܭ k_h~?D5.;z^i1%~]+,Dfc >\:Iz\xkT(4z`22UrY *L:ybo^Cw_ʀ{b1PlA"BiJ:1L(,Waׯ/2+ƋO*BRTPEVAJ]( H΅"SfJy9W6 Z*?J\#d JWNýliaAӋdpNTV 4<`!87S9z(/=hu1,ܼ[?DV}߼FNPtS]`i(;B#Md:3aT*?#+* +m BMꋊI*}I#zE_)'QZIWYc) u><|` 3{VJhwZH |locuQ7 ؼYm4qgV7\9*|1 Uș{m!ȅɐ$/z 2 EYⴰ`4ԬERU`W 7s_ݯL3[SN1o%!w,nw [<0QL}, ln~^A0d8/ ^:BI"Z*N%?᧡m8D*~$T 3GMq8tRxܸ'd-7Q\py1C>Lk# tsd{d(2;,gPPArUa`8¥L`J昌 b@bLcC*`; R{a|+Kk"%>Ǵv_-Nwy$o%դ&y,[![gzp9H-ehm]|+E: c4XE!SE@V46bIP:{뱤!MUx,#O&_ˏzdEr=$&> rr8s OfLT!ώw$z9 MoXôb~VֵGt/؂i 5A9уIq9M狋HSRB %#.,(p 9p uV8'%gQCV*YfϳwYR(c.{).^Uf5E137v bU̾Hk4p=Ym3i2 YH,4͖d !RTSR`XNp)H>=&Wb-j!->;)ʔ`xѢy<LY؏P/mF1gRc(b#BDIʼv'[r..Rn"HT 1>.] 07NLk^mJ!EZQQHC$7Gk(B:FN\_I\~3445q&7#^kSkQLp1 QZq:$c>r=4cypxOSEbk?JwS=3"bC{ AnHn~FuިxU  HQQ曍jyI|z 4PLRC Hh@=Jn~0y9,5w(j:VCk Ss>%u r'̺rmɏ%*~^@"|/K-_v!9!2Fc#ɳTOdλ*&xW1oQ {,K(",R'hMw AqI m]5{v0ׄOGh52N9VF&,:v޻W>VETv'W9 vR#_N6523/d +$WqPVKEg cMW<,XYp􌄫NC~;D^nyL'Jb1>ؚ\5Rڌ2U|e-w2[βQkw ;$/L$ S}le`&-]Ḳ @&/yfr5qcOhRJ$FlEO1:і6 VX+gq3kwUϴU ;3{=[/'K*]Ӎ_TW=<Ì5~zWV"+NAoZX/vC]LRmD粒 b|ph5q jfmaynP}~P d>b jPhEzK8"Y,;fuz**h:*/ ({RPEK.Mޞɤb%?O)/ 'ZU! Dv J[˖)IaRPT1 L+%CEi[= Qu\o 9LH*Ҕ|o nFzl,=ً W ~[(T{YB֏IA/7lnQ^g/?;o3ȗlFzIh۪si7 St3P8a]a K.dFoKc%EEK< 9 R)'$Alu7u LCƶ@¸dkCHtqv\A_ǡ " Lݣe>y%Oœ8q{!Zcbuڜ5 P򚠳{UHK J)L}"a]blH1֭XfG.0,T \U pYJHT<л[O3F3W)蟤x7+4oȘ"Z2c~v hB4 +s0|ֆ\ k Phwl Wv`-GN}*cr={R]MPg,D+^E͜)0vMαR7\*V%SShwbj:Zy8ym_}4Mrm,#z)(~!lu?f|g WUuOHfd$.4[Z-I!ӣPORB$qbm\J-=mmv܌hIZU &JH0Hp$*, y'*1S& {byۯQF!ǯ盯3ћ QI|eTs 3V)x ID =@HE_aza\nGokM;}K~_}<[<~b8@ 6]j Ae4LY.Z8t G#G0g{'ĒB}RHS=g|̟s;nEyWCnU#fE}0y[ b+wYmеe13PY}| /5vF t}_Txnlwe>%D\ Lɸ02m!,hNҤh|sH ؠTph @$: $GSid\%,+蕙#faj#AϢTFYR"+bxbidB)iRf_BM\O/UuC0d[XSbA C.B`0Gk+ppMuy@7 [MXVVIlq]PЪ$G O9_:]~w0%"U^Y6ɮ$>Ȫy1>FO#42oar'2cvpiM9Z_Р(Z*HJ pH@M:DkEOU˛&uq.2L,&(@cDUhb0[q?Xs=Ҩ4Mŕ;s2f%+ ױgYZf8a8cd0f3574f8fc2c91a855b5e51bd51d8c55f3c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a f68a72c977425ca249c872eac11835e5323c220c 005cb0de6b39b5f1f9153f1dd6a340ee1f098f94 f152cd8f3dff3df54a1211d24cc89c0cea6580ad 7aa459d24cd50fe3839bd6e248776a1772730c20 bbd0d58cc7099c325de6abcd12b0710a67e392c5c29427fe5ffc8dc5be42962f2df1b1d7a2b03313