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 SS1 , ]w]Jordan_Normal_Form:threads=4elapsed=378.105cpu=1079.336gc=23.952factor=2.857zXZִF! B}]ŗXf[&ɉOW7IÒ66y2bԖl |F֠BQ;Pw#ތH6Zro mjՋBQ/da  Ѷ@ˊ3tG_R f{[X@=RTDOwhIX܍R?A_{Pc ֡m-9}Ce#!# W^v#)z {O?](32Sw$].m] m-TyʬΏ?V,j# GdvB<-u,&:j w :dBZz0:t圇_|xdKA8ʖrcԈ0<(޹T%'Hx~l,]*x8+8$jMYE!^3Db*#IòaY ,5Tc`h2g ^*w!,J#4Ki^xp#wI4|Q|_sL0I(]oB#ǡFb i`njA`9Y<:Z'N UbhRlj-M]vM˷8FQM#X =1^~}?Xdb}u!@V 77wAoH@P^QkB.qs gz V3 $}e(p ̾AyIwh/omD]OFR0;`@L,̔bRNiNHrנ흴z1j[D?6֛w-x~)K"-lS4/tв2#p(ܖo 1 Jordan_Normal_Form  aɣ8憥Ib/c =e8P3؞7crV={`UMUN.SL$6C qnx"k1D~O,6d^l)bav@?w3)ܶnɧD]fl9-f :ؗd]*sZU! + f?mZRрkfE/3 Z]~ UUj &E*Ou1^Rqȁ([˹5dۭw-ĵ$Un?tr鱘w7kPQ/7^@}aU尞{ d-[;xxCu˦>Xσn=|+*bLz1Kj"l[PEg6 )P H-ĿfpGb~&fZV?:m?eÀQxRoN\nG ",~Voʃn_%0" D _6Fbq F*UcR\OM":0f@v0g5viq!( _~+,2L!; b)HTS ΩCբAiA}|K";D]; .1~gqʯ~~')8kl5EJzL8mGv >TO+AMBC#!jqMjȁo9,h`ݦOC(7` ՜tً̊nA"`XS\zԚC` $AG Zv[^E'x\ >[uzbNKp)WS(7gơ6DlOЭs/|=5Hٚ!L^Q6 \Z[HJl{?(%&12[l-OűC)_Bh[ﹻ <]Ը"/-kЃ* 1:exyVX$- _ a0.烘f tw c$]OvI{V B5p.-f=% cm|q\\Z6q ^_q`#x6 $n>xG],}ő3:GSzCiZQ!ODxCܬtm'F@s\ LϘ؟RFE7aۿ{u SL*/mV7`4º7 2`)Er{ۈ!D*pƧ܍Bpb^\Մ6 .c8y겿^6>ar3C7Gn짌_=*F.4]+)g1PS2ܴB1 cJ)~tv ٛT3Ը3' >٭ *SVqvUX\_ouEk]&SN0J{HӨg&Ĕ_V =>%*mL6* Lg$& rcSY *նԌpɁx8(E'%~5t6ף;qxS&*w֓π/&3~PvSіGCb#l0S%]ct;<5Gz'&(EˁAO]BܙZ:g28zo7 _(~:7+=ŪN-; M"dxsvhl3 ˷ٚu&}$o0l9rONU6zA\K"@)A`@խ֏VJT.ߕrFOT?z`4 mԣÔiF)kV(5ï{D!_i9°EN/} we6hnwq3pBX˻PpwDHQ/}ы@iH-8f()䖛 XbG<=\#(II@ sk Z7DwVWß\`Emng[l 5.*tKr@scsH+#`m,Qzeމ [3i‡~vK=gQO}M[@d*4bE )cn$9dZ)oLB$P։ZVϘn3}&U'nv"oQ^ vYQjMS@e\2C*B`trlZ##|S 7UG9U*];Ӵbad. zF.4' =(phE`B(HOWIC=4tGH1_fىz1\s:؏Z{䂖Y/=Nv6GxzøKԅtsc²~8ZFF23zij2џ zpᡡ<4~OɳP)=0vkq|y'_nV(rFNS[ 1HqK@cT+h]{Wٔ)M ،~l+f Jf m2)Il?y\?{O~"4;9b5Xh5y.^vzc)?} t4d/~Rl>i?*7t+zc{0(̈p+@2 ۡ$}= yT}\ixHhA`\ CrU'// -JpTq2z8t?յh2.ՌLc;GThv]b*[)Kڑ.{3o:̸o?=Ƴ,7j3/  ˵2:OB2 bnm9^vr @7)Q蟯XP82w[Xt`1OeD{ЀNA 潫7~xYI eicmMhLu1bSaJ OqtG15y}LV k8R>@ ىmAyZinWF|CQ2[MhH䣜s0Yv~%#,|5wItI:q7('U?gO&MA,qs uB=}!G'fdg?s{dӒ]=Pb؃8NTrחRrUckפBҒiU3Ne4MFpq"|0Rl m78gS.=<e G@ijTQ)~ p}"}둥Jѓ_C^v5勓5Aa6xqB̼&@r-:vf׾J}U+bM>* nZL\ Aªi2٪ujZhy ):R^!z iV' jZ "KQz"SNFKEN]˹;Ȋyr-}U`ޣ!Q82v?`!>p)W}C});6+Ιa2I 6̟`!9yrrkt߸#vuu}z  mWD_k*[IyKo.C\n{۬c)?|cԷlNYl+ YLytstMB[阣Zkzj#]KF.^ΈfqMHu4}i+e"եehW/EDr: gy:%  Էၠ?q]CQ c@J%^mNQ{n6^xH9c2;@Ҏ=Xٷil"&zM$DNyƈU$ӥő:<fJ2'l{5]gYZ7zXZִF! F]ŗXiɟNGW=:;G v{@=T ywf ál9ߙ~vRz flۜ|uSzUbRP+ÎjV1+?v3ߣ~#ZFP&,J’@?2S;x,Ў7._oD6:79! +bb[UYHL3!Z=KA_bf(D%bd@zT6:)˱MGpwysHg<+ua &e%y)<`_P׹u"pIf(Zs(6N^+ys)lz)-iOs6X6*7x|cLBMy!f@~ii.qP*,]hwݤ CD?TA Ƭy[wLJIpRki{53áV_zˢō2 ئ1Td!,%)XƄ`E$_kGAòm_g[\{?rS3eP Y o! kњ)1Z쌁hKbR_&''MPW;62翪P\K4Fn!,ڝ"q`%DbR:]*@sPNt+\?rfQJؽ!{",*=@zgYZ7zXZִF! vgN]ŗXi%G̊Ѭ6ەT[1]0V+ UQ?|O1d< %z狂:Z4c#GxQOsUl^+]**| 1fR#{䍎錥7z6Pj_K7ORId#jc 7-HEQ?/8_!MqFwu͂Mľ~!oϼ3N[d4EYDğ{ZĽK)8IQh1]")H0 c7rg4F}H ({:^$OSIXy/!SrA !d+8mp;ܒm{ZT0}\ޡ9;_`͊N!|+&7'?MnkӪ}t-Uwu8N # p2RJaq浬0mji_#]h p,_1KBAb]S <#g&P#vj`ӿ5?`,ϑ"[7 I"V JM[ct$Fxit嫵P%G&`/D/e< nK42;\'1u~yFi[k+GEjXc擀ʞCİ `*` ` SMx^Nt5.agTàZCԅc/R}kL]U 站0`>&2q3}?A A YN4B_6e󦜌JȝInhV͛%XMtӬ@ @"Қn<(WظRt2@.!չ:>dkUQxn^n<狀dg9MJ"HKp ,X`-c~0}<*Jى0zvO]0? 'k((sqM 1ΏX &G47m%|? RqĶ: .JVSrȮN֥Q=,zj<6;m5P0[^t_es׀McD~ׁ̪OIGr `;.kwۡW06ѐLfE?@=n3<p)z!TPVK ;gⅪ"1Bs_='I|xI~ŤRO/o!X7f*_ث|k.0PcuON& 'f. V Ad`-5T~$ (|qCQ^P䨂 sYq6Eݍp|ߒ0j|n v _1ܭ[]΅?;, $lz! >mZO=^{H60T-k{F7K3T!z 9/$5D+H&)@Py|!޲ʹ0N+û̩ЛZ}8+W~Ɋ\!h* :.ZB/YU 59,bDu#\˅6#7Mo`P=7ckV *gWEØUJdQY̆5S,6,`DG]Xxc͂gU#i4 |̛#m)߇7yv-J-D}흇9^ƚyK~Ù#6<(z (x* :o)@`zƫ%{ǘV|~cRUAms!r)H(,'\ޚա(rN^iK~j Q&lVsT%kjŋY71qYxЦe1 .M@Jzx`_NmLM*^D֫8EoeFafzyY?(\C尻,Y CHH%=QdsvaݨͪgOlg=ɴO6t5YoFeɄF-r)R5JF)Wi}$lirȲ%-KA j h^3mȔG( G(HcfA?uH觋gtf]5'm7$*z"馁 kBs|\gϧA#xv&J*d][B`P8n Ey=D$֞D^E_ɸ.J;Ne'L*J5V GC{8ˏBk%U P^啺˨#DpL:Gv2̓ &ˁxk0 ,#,'}WbZM/6N%dmKJ;U(0nٗedv$=1TK,fݩ+xG,Qj$a^|bC*%Q8 E/#siҐ+ю:|B),e46!v9vX]ShAVs7,[اJprVNZD6ՇdUw^qMDWK<;6CaɲX0HU=r >~T`O΃E{O9uw0 +X(Exz$FbX=((9{ _x\i9 %Jo_*KJ)J9aD cOevvqL3R"yy׊IbyvY-!{BW7ujJ& Y~.= oX^H-h4ɔQ#5|aT{Ya$uK&r7ctHCO4;%ȜzSD:.!aX:sCtk.yJ?:K>YHO>5LTjΦ+[w(0]F^&\KB lj]Rk%a2n+mꋈ_MVJ DS10 ˬ1qfOB' y%L {'yaIog{qC33o3'3D g!qoOa6,L%xFFMV njMCeN=-nت~ >&pgR0 dcI L݊$C|rX H+Pt6+WЕT' S Tz[WNX(P;;j4*CPa'~!hBb/z-z7DnyLa 8hsvQWTpU; |4>s>Pñ>D2Dat}^Ԉ[Qoι^1 e#4|y7Vk0qoN (?9>C&tf*? Sʸ `"zN)xbl6נ%xm`*ti?``B& +Ce.^<#<%cηk38!k u|*yC6ǽPHNTIpcp&圓Z{ck\"<C!m͝r 旚I;jXhw䗫KJJZ|^")ɔˢmʊ c:l0qI kc-;uWbqUʣ7)"8wt]sT`F=ctd&Hx"чJ9 E͂oBaCل hNw?/\!ɫϲħi@=| 1(k|i eT&Br]p-kXܜ~?!&Tj?ey?$Dѱֹ_Yvf;Lt-z4jsܱ0Ĝ";IBR :n^'x$8!@6:[5&𬥷G~t2pr.=xeZeLʩ3\)3!] SZ:R@ALyH(eͅT>^}F`}_9Ʋ9pC|2Zd,CI^M#̥^LgȸxY%t$L+,'위vpIyx"zq=V na$B|J7iL8M,]xcƓBWiQR9=\:!ҋUG3CnQb`^;}zEpJOCXC «>7W%%3P/k`I'.KqJP @_H,Vq)QwgRlbaA|rСG\\?ۃ͡"{3g`ۭPPXt?85$ [I.X6@;VJߥ -fXB X=t]S6NFv3 n$h%NGwEsɮֆ;"vL6"f!؝QY1afWDȠWbv^E TQ:"ede q:rmŨx@.mkRPYKe8ɤN#b?#w|p9lB!R ];ǓR:<&.z}G ;V [TXm.ECS^sh{PI.!ݠhhND_H% AjU}k!>s&>4_< "==`IJ(B ,.BȞuHE~p#fhBߎȠg{S풃Ց*x1lSq?{3 eX( lgыU !V{Mp|W?\GR qୃ$ ȧ{DLaxYAy3[#ȼ+ bo<As CEzE$PbT.a!ߐ>$iIϝ$]?#k`~% 9ThU{63VeDmjrDij eE&j{S~:_U]\($.>+CGCw:臶͞Kj]1ul~(˂<S=|rbv7GZd̊ {OL낇OgJ&t\Up+ӊĢ}C;{3&[t)-"z*eI39bU&$RQfl'vά4<^_YPODackoʝ&DXF=Bk߻]ioaU4 cNt]֏ T;hDZ&cf_pB@WK"U=KA[֓_M &wb?n 'plyMyDC^Gà:#!S%D\W#3 drqdmڿX4yҞkh6AxӠ_"Ffbz+ njZfsڍW 1o Ԇhs !%D PcPkc /[]2I=4..EM(x FkhT30!|-/ID eblR1G0E)Qwa7 n'hB*x637ʪ_p)7qRwJTU[Q4N$eGn 8u$>5]9~ВSoRj@y3ؘmϯ2h3Zsn%z`7fjR55.]g~xXt l$=j K5?n@r >bz kkg(^c %p% [&+#˓Kqh 9F|$BEZeCP7mYXt5 ;S8"Ʈmi+$Q2'BVzSŻ p *5ȓx\s te[ҹuɟWֆ}}Dz͎CWa8z^sZ%,Ɔj7W5c04`$^ģ%hJㅵw$wFs5*Ԁ(ϯt\g,>j~ t=g=ӪYVBfDGAx_pI0Ũ˚ZܧB Q er qgNזc Hœ{.MW!l6;`RRe*d[5Kɑ e`K+UKɕ`8n2a rNIM|Sr+0/t^[FM[UܵaSQdݐt_ r?P bx3_8\2vN\Sڂ64Fuj5b+iS#Vy? Lsͧƍ#"Eсup?dq0!_?~s7\-?22#1oHHߑ,&g㓬:HT{6ӛA]D.LO,f-J&>-G":XwTjjIOؿՅڃ,f'C ѤpY1]ڗV84."G`G〽`mTuK[ e- MZT@Fuh`amwPEh 2M'Ʒ)Xڦ;tIeƗxܴ8xh#raP5弃WiĶ9 ^sX<{WK % 5̵>]:.{rQt[ v '18XH5Pqrټ;Ko;{!˶OX,iW 6 ˷!>lSFEa&lHTUf2g!߬Bzq|-2Q*2N4BLI7)/K&vVjm>c@1ǽ#淚#Nl1YJJ*3[.~TӴ0v{D9)(4S$*~7f7l*)U&Wc}_Ğ41TDqU`#(D7WߏQv;Lز#X/#ٍ?[S:4y7y~{ܒ콥{d`:kl^'{7cB&GהxuxhhlTWfC-&; 4s%ߘ{SykA7Ώ^Aa_i YOF LZ`6!'MF[AِHL9{.>/^!xs%Q6mۼA! ٣%^ 37+{CC㜏:gp##T}iN_/9b]=q^os*2Q7kY[ tsC΃]{TW5GEkqE_`:@5"Z$^f#QS`|4sB"#[y qjͺMT'd|x>~+; )Aw k6m}xcp6t"e f#agl ?ZizLctpAkEPvfL5eaV #v?GcKX쌷<1޺Vl`J P.M;J%>A"$gFF+<1V@35S A#jGFY6e8~ ;QтJj[䁺Yp!uXTZc| hW9BGpg,18S+i ɗMZGc`x r2&BtCm Ad5i L'z?g/2)[ߥĶ%⹻fz6o-2jfC'"*bU,u4!=N)ffOipgNQgE"pcn;t@Qw_!MiKë(K-hbNcNJӄ04. 6HE&ځ{EZE:. ٺ߁htv>'AZ|sξtOέrsB"aMeѺeqX]IW6鄾.b&b2>{-vXJAo bJ ʧY&S[/(n= a{V1:O8b/E&!΃og䇄,ԯ6; %# ׀g;;Y m'=(ld^ZR@ 'R,@h qbS]Mv*ezO]^CٛC-L(# E ;N>2dn1$UB HP9w&+{.rlC*UPZոVKkcF =! TW|- `V| ;!r%m &IL w|funmK<8+FDL[ϝ5/h%ݪRA{zh{oR.|H~lIM)6 -ԯd@^@C݈-oK~brpD t2Y΄$$Tz G! dۋA#G/c͡ˮ,5jnج' ĸdY>K}m*RM麨609 z _9)=ƫyE%~+ϗKR@Y){(+qtZpk;7F԰m`_1Y~K_'8k i9ڼSǺθzWH^P)R(b@<Ǧ&;t=íb˻-yU|o4/O%U(/_1y7J k=,^_cX|p{z? A1"dt}GQ ǔZuvJp v2lQ*3ѬwDb7Z=/0̔F]4 씞0khoB']yX+ז꽚B:,nI݃;CWsXPY \rlxywvn|!JqTwN Q_eG=~C8 Xu }6m초f&\L)c̼"˫my-*$;h)`ku'd<o00 ɡ8oTg.%`5^R ޛo ,a4tw<4ԉKġcpk}9!)KAw^0Î殡:deQR1{`OvG0s?SF6l_>K[MxVαGOzs8V:0DS7^7|vch-mNgYcxtOص^XOIW:a)q?4L9PHtlјpecC$']N`t,෈ ۾ Mp.uoLdAJ7ߘs# `4jdd6C3/gQX!]Nhf'27p(?4qIPy_$,?܋-l >9!jD/ x+yjo,.c+7yR=B'J|/K-p/} ϖ}},&P6w\8 cȶ>]Ǹ+DH T|RBѭY"3kdo{hu"c[Ѝ:c5`Ɯe'-)%=;4ʞ܅%;u^epɃpKco=c]x2s\m |8^A-zs߭juIB!kne1fKq H߲Mpv$5}]淶 m]I ) 󻮛O}T&ID顜cؘ+K~sng]z/E,8s0 T8m멩!}%8on՘8i-dJQZ-a]Ar(F]؀2Ҟ !nzqGVA(iXtoM8ZpP\=}5Yс0BoFtҘ1UONC7{c#ɄiS<D7I uU~$frU^ 4l׃$4~?rRw;/$(/aWwRôaZ55FΨ t;yp[2]]^rO̴."!JS3~4ҭpmP[#Z--L& w&q)3f'*JhXpV~&7J iurR b_!n[#oғʗ.a ~}Ȏg2ːiwX%#ܦ? S9W $=+Etd Y[Κgzzw5fi@Q_UI-ъ9O;dY]P;ep$r@`f{b8 :όدEY`b)o !'εxAlThQ -{"6q6|) ~m훳dͿm LAg7Ȱ]Kٱ= Kaia(slRpIȯ 7 I=5޼0k 5‰xmC~6nVawq6 sݣˌFŞJjR-hc'lO~Ux7ɗ]L,$*i%j b,ؘJV@PzՍ#)o͋x/> =_ \1SZ{CgW}VvAt ,t2{? meY!?8~SOwY e7B:+a6|ymorAv7} 쥀@W7aQ?Uf#s]8zeQQ\db^m>gw@ zFQCL)8W3ȁ2v B Lk Ů$8rlݴ%*X{WY%~;/nnx:- ;~7.= gt 񠱾1陮=zfê46B nI%hC]dM2Su[xky)EwIݮj1Zq4^C:0}֡M÷ks$sI r&}d!U\YEfE~d7D Q _cɏ_Sls@[鍫fU؛zN3Y-=mq"nKӷRE{懞. 4*l00 |–Pw$%t?.ʩtYҎU+ZL4qa_e:e 0W`L02ߍ`r!t H*8af/CٵPse r3kNѤUrld9K " z 6յ J~dUiȌ\F2I+W,fp|xwrNhoTp]};{̹7[}x箹Mm近u>|(*#t"1CsW{"Ps\T [>@<E4Vm6ec !wsxP+.˜&>9lD!%1Hb.l|%fHJ3%8e$mjv* r`F_dX.J7t/Y z\Q:%|wXBFV.|32BiPL.\"5Y6s'Ipbl 5gUkXa x9rҷ-ew`cs=V| UHyTX}ͱWTGRqXy{>UJG.Aj2@uoB60,cuA [A40cX' KSD,2k[?##q*(d`NH>FM8?X?igن>mu?)p hcғ4bη1F-OcRPl;7M elЉۍI3eBBnr;f?{:ݕdH 9М^-=ø˱[kE'-w .aͰ 2=wr{ћv}9} fYi@>V t[7:`'gxtQڒ؃Z~d#M6a%{ ARTGo@6OizNd%\llCMWct{b X0g#-&`W_$ܼ4 W\v`O{uiK*M@ g}c43ZCdrowT㪷0JO|ӘJ1VŇۓ! vLΫXsuPk|eUzӉxUf&c$v^է+Nߛ% mjP>OoęND00D_H ܎20fq="|Kz_<՗sfVc{!Wv.qˑbmoi˃׷9\liT(0X7W6ociX>PO9z"ܧwۜͮk0BwBtEKn8Ȱͳc&k-#<>z^ˣ'qjE\]R!U;ĢR>m3#:!o6j-}[2c.Zetz7]$$m#9û"zj2U@k ^{fU]vխ*jXUtڦ&㇤U>^8/-]m",ŸO؍bMZ)e[_DS ϳ2b1jlDAaѷ?۲VތE+W :Š} l#?^P0S(#0QZ>'(LOX=k),#hK\od ~Zʶ"h^||hL%/\VBǑ龓C}((/+MMgWhANqPmdrv/%^[ 8p˖.h1a`1_-߾Q0 +08d/npO5 KqYQ#~n>5 }'IE7ptBU}n,kk7K4{ƘE+6pH:]X񅢷R ϖX+Vkubpmwd?)xZ^jj*bEz-EA%4.xMVdV8 B^aAD`fs=TS8.ռ2r%zLcf.hzHf,T,2U⍟.m8 qPI`lN9K4 uy 5ɰLQ~ 1ǫ|/fѡ;\ۆE*A~,Ub, 0l [ڍܸVj%g!oSc~̱KU2mZO5szpJx5 tKD%uZ=ʗAfhB~WFܭ[\. gA /,lF?׊Ar'Ck45ѷ Xk[GUuȮYHtVʮG {z"Z:ot`4wUN- a Im)w|T:T7miy;.-I e`*:DyVbjXVe'+E7i fS桧btbSyE^Q3"8)Ƕ.} hs<ԞUo Zod]^W:&^h桡pxB\nTB@b08Oi\mgj-]oI)RC[ ?X ę6jl-R8I3mKv@ MIie$Jۺ cG}BL(݈[fPPq s5OHjQP?826ײ,1-ӭ6 p_S@ڮ&S A'kuѐ+N!\w^>׎={{ kz̼EO{㠂RPZy^ɞĆL$cf+mpwo#{5 {eG7m9^"$m3t1t_?Y t}_Fm~.HO xZ4\m&dǼWRt-}=2;bP"Kt+Qx/r6h@uR\XH%_PJnR ~ݤxX4wٺЛ> 'ĝ!ә3YkZΒ /Pr'`ש"ƣrZD~9x09޵7A;z*2nTsm246]Ip9'BhRʪ53dޓċzV|v<AXK1|8<4V}r8uф<7Ri~'9%SX0!ajIq!ʼn9ѽ>KU_ejk_*ӜsiQv#A  EC.'9'B=l{.\Ϻeܯ-li@YXNrY8b+7Zpe >Q%IPʾŲaEVK#{%֯:#x FH;oo^muJv-tc6dԃ~8qO{Swo(Fsc:QxQ=c~%~EpA\Rپ۝ZsbCQc~3>b㣐T54ǟ.Q[ hANCə|ǮPԺ2C2MWͦ}BOr t %Zؔ,9h] 8D.M%fw0_Wfj(90Ћ=f'Fb;W/fyT0颱9[!ҫa ~m)*d9ȇm8Ayi̶v3{ !8<"nELR_4 `.Ig1dl;c (~)ܢQ Ե-:sKӲǵ-b3ڶqSUb+u4BiygKC>U^6yiJ'г5,g?/|6V+yAÖa0f2u,\fV򣙲 3YJxQm$qj+5̘a([#%M{N@gKo$"i5"IB(S)B*Jp Zj;vA,Kmey2ցGRղӈHVq@M[8. K8?iDķo*n+'Ǥ: t/>m8oy vR ρt7޸ ֝nd'<[۵Od~N,r`u]͏ʵ7(|3B7v,u0&庺|_s,z8 ˇ zB,E2阋 gmڋQP4m)k36*~Dg#fgaDDpv_".gb OY0 E}D+1.>JW;-O;?!NX"Wksy/FoϢdʞ0 p{<덐\g\&q??Rڣ; ێ:^sZa>Mbpߛg0cTpG6%G£#&+^K︦xtay6 Mq6 !©R}폲Afi)? ٽRӲǫV֯ ޤ6[ך ޥ|sZkϤbE=(->D`&wZE{JO1W JV fusG&5Ʋʔbv-y"=kߔ_c"HY>%c&ҲZ(hل%A8YO;Xc; F8rmAhn2ņmJ-䮊$m[Ւir築sŘojGj#zޕ5imU穜ek,b)jo0&t*q瘔y#B9'Hs6sKQvzpR/ эӺXy]ǘIX- /8I\נqǧȡ`dGn7 D~V{Iě>j-6_6q 5a|DwHoS? FGFTQ2EGTlnGFҏ{Ejk֧ѧ?Q4Y{z 0=μX#9?@|E/:lؠjI0ctjL'UD7by>i^i [nd~'iig!_2!9g95tb\PKkn[NְrŖ~j給͕ģL'7;c6~$ sXtC>^.bZTu#}6H C>*p䭖Kf|MkPN65G 7N sxnžDZ=4үjS&nE0bS|ӿNMM=T D݉Y;i?': T+I_8&6MoR]}xu`Gs"'1OVU]qN[8ܴM>3^e-f:͔g~gAx؛~zG1cex ؈p3QR0N;/NrU%DsݸPĴF4zT>RBu7~pyFu'Lw2x3F<irf L[o4-s<_jIvk4ԌZP1O6 ?D9v D1yruR֟#9󇘘npkX!wO:BT5:0ɮ.;Q~qfJ_[pb&sӗ iUh G_/߷?YK|j`YL-^ FCUMys&hS6O t`b(<"6ౌ81bE0) >7ƫʴǖۓ1CK[ŻcCMqro$,/U8P*DS>7t6>\žs@E m#I< (82*O66"95¸[)`X6}FC0~%"gҬhOffjZr E=Ѵ8PDUacj!"9~A]+p<.&?r`/%E\[%GM0x_H!7gYZe9a4b58ba0fd3bbdaf50081ab137628e97f2698d78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 dd5a66ed2ec6ee975e279edd847d2bd17a3726ea 4909c2e6b1ef8105dcb0220d99636907a8a8684c 118dc90b8362379584a15b74798f375d94d07ef6 99c04948151ecbc5536340ba694cfb3865cec5d51d598ef734a680e42fd93d8a88fff782b32d20ab