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 q1,| ]w]Jordan_Normal_Form:threads=4elapsed=340.927cpu=1038.784gc=22.692factor=3.057zXZִF! <]ŗXf[&ɉOW7IÒ66y2bԖl |F֠BQ;q2Oa#%evw)x5fn7d[W`,rV$Ӫ ͱ:+_svt \wR-.+gP:D6H`xc)glKajٮ`qJS_玼D K-@Ud@r`jCOĸ~dxm‹>miZ:Clۛj uO:O' 1 Jordan_Normal_Form  @';Zw&rV 4wZN&P&t~|,14<k'3xEtêZ^^UviM/y'iZWpωfP~ڕ%gS@u/Y(gdʠHOk֘ScUv-Ew5b.S^*B>eOVgv%]4TҏЅѳT=0k p`2;Lۄ;2>4?z >ZSPIVg1x95qBo\Epy۵ Wg6` ?xނ3U7rs{o i~o餁tm7D]caxb:fw $tG 4e K _ab[LCH@]?!AxFmucE:*raZ_  t l$U %%^K.fhy4仄ǚ31H\WLA )e{QԼ΅^W]bN(PL2?WͰ$4qByRʦƩ t~7ds b&Pc._h'fqXEVEП8ʴ{46d\ͺl~sJʲR?DD8}j ÏK[qǻ@}^!#KHdsk?*j!=hwΘC4 Eox?avmƋsi! D }$R2gLM]diMCHtkej~x]5WsLjԭ<3tC"C_IөQ"hylĜEJ1T=>K![;sN~s&-֎L.ɳՍ# @rYtA# eYjCZ1Zya_ydF(9 .RMRRMɹUWE,]7ku.MЭwd axDhI8+Ch@xmt"Y~\ -:iaiM$$J ԁ G]NTi#nCs0?yHKv'LRntE欄mc-ߚ@LR8LUӘB3H.0 # X9 q:W[@R^^QH2N@QbU6 nCoe8zҁ" ?GG/_vhqvi_S1̊7F2 łRQE? jZi?B+т3ϯ >#:,-) /;QҏξatZo2gy:jϻ`|Y.\b/br0;o4(.P}XS0DOFPkqy@@?z}9m%Gh!fhBv7 wdK1vcXj/2m~*]2O }|(obJ#We%4M;6$C *ݽ}@vOfZ.~RG:OZiDѺcx@djay eӧoĶCRCX,c<=lw΋Qc{|Q`8j2Cz8,i!6<乘އ7p#©#.27{[\._ kg H*x^,/ؒ=h9~dXΆ64 F(FAa1sJzY$csz ?QLު؏WGtߓSCp KbjSufsJގB*A>R7:{_Q#=C̙XEھ;6sFS۱//se7wiĢlLoJt%S0T'-p7͟-:VS `Nj.< ҜWkҁ [ӟ!Xߑ6;cBE=C>cP`2R褰"1M#2e` '39Jx>v㌰%q Se誋q.4cUJ..)a(: /b|ޕGS&OW1YqpyAe.ǑJQvuFf)W+`H4?*YՔ\d̿|7%cX!4-4#F,ZϔK7*|(<1&r.4M FY*_ ݝzJl5D]o?iD/)kE,xF#EK_Ļ0~؟,0>6@uoF̻[Vԍ h)TuU 癩o#(Su?h0 PK.]zC,mEgAmd< U72i]4C [<!@GDk[=> #lr$ &VNqeb?V&b/cP9VBaX鬵[#8Vc pX?LE'k|mYħ@+[a"9@Ay^orDK=+i֥\JGpǫdó4OMc!4D|]]-V$r[ ȴ.]/>Ji>7y8^1ֆr'`^3q՝twXwoNb%pvkQwڽ MIXNxk?M6eUjO}!8"0evcA1Q,h..v zW_k龜, A ޳XaلI41p^aE8 ę7FlGFK@6 \[XѰgP1h A`ʘQ:b|Mn2vVPMU,TENa=#*6$\m럙ѕl 6v́b_$YH,a u^-e7bh*$Ek`({Nw=t 3"6"\.6 8]{ 1͔13UQ;O(нzpc&t^[" Qr=2*if+mkw3zQ_їH4#r+vG@XO=o %O2uXJQˮxs'L􉫷H@ cO%/ӎ^ vd̟fqy2*!m9"b."i2s>&ɔqzSǀ.&keRc( ewR\(1v>[In%.{'j 蕚a~p/S~#!VRCLg'%)_`?;͊,wO8Ja3%)ݳ#d7%dysFŚr֢ VP D bjvV.xP"Fl ɖv'-Lد?gw-rż+m ɲ!h|oHGhӅ qLa,gAsu#Pɬ%u9)rŪZp66 WV1꒚W1qX[iSmd/?Omqr'; .[\4Ҋ!= Op@ݚxlK:Ij @&sU0|k?$ D2p\:MR< ۜ# UTrZCe%l+ L'@G)+\D}UvR1>zBp"%}.btRj-VdCI}4{52o^m=N}i,8Zxeq8{~O;lʍ9 ]|:mLje-]Jx@y5#"k޿>2:[$S%N֤acXK(#M tِiڠ& %m,H?=$^g34)P opu5Yf+`t{^=UC9>@ ;6;~m{߿q>lE&D5" %0HhsnF G`斮0Ɣ)#)-OOIUDp!/ nBbG(Z0) ǮEiԾ]oS Q ~.a7 ;nӨ@amP}cB]2qT\dhΰ`-`7AzU.!YzM|޵3?xMƾ+_3CDj{]ŝino־Fpl݆䜡6[KhUjtJg~u˧tR ei*c ;m0׶ކ9d:V`v _gRLN;#¾hsLjPGz sԞvJI_H,V|| 07JpQ>a*EQgUbM9 ڼ|jB.{翀X((jq,x.FL@5OCSQcL)QY˗#x7(A΁~Qրmnlikܱ#d[t9 +< ;1 f(@8:^7u"^JPr_JnP̂V~2'JY~gP^"|=[%?-e`UwnVel^\%CfXCQoa!'W`=w_rN{ m}\EzJ' (=m@x!!^r u(M;K6r1Lt}(1)x"g䄀{JBb?"AB^]\lQ*+ġ1A.Q0Hjv>f^ kjC s۟v|Sci&Y!O*l$i6|A7>L!V6J!)stG"Br@ڱ#k64- y\?Ѹ[<>sݜk] [6ή.3%IgYZ7zXZִF! 5]ŗXiɟNGW=:;G v{@n&6I(]mNDnB;|Ƥ+tO>]13YEW"YjGhӠ e抳RBGb %'b 15y'R'4=WiL,t۔] Um{0y%N@ltT YM@S0F<՟%owR_yM2 jrΠ[Xf4^b)$_zgH˧lvBK\by8m.#Ѥv avX4JWL{r>WzDs nY Q2/5ʻ.1ȐF~S7"2nE-a/StSV- Fap0[ݳ;^s<z}˯ީe@عp.XX=k) *z kw2dhugYZ7zXZִF! 瞿`|]ŗXi%GJ۽iNԫmt[qyvp@VA~m!]\ cVb`^X;%ӂA !#RǧӆNX Q~y.#粴*W04AÕڵ+7'Vœyqȅ,i6p\ÓdjXFO:G :@1goj+ß"m ׫@H0Ul9AHnȝ%kk/]/Y6៌Ggc%r&ËF2Meߵۋ_oJwd;ǃQ Ε /K3*s.4S-M4$%EH]5NKOb>Z8l_cP­iXSVVyUqjάJy?+HIRa7|yLpM8>="ùt5S)}f-jeY,"L҈ TϧIũW5L^`xq| z  in*L'm^UnNDT ,kB $QP$^g;h4xK4*V};cpKO>f<8\4| 0^`asFX*5Yճ <v믃O4ft>" +ʠFzz%,c. {?_w <9kDHm€/^O9ŽoP+H ^ 9)-&kjMEr3H=!TO-I'VbH=jT1[9OиN3L53ͧaX Ģp +DcoȩwzoyzûI%nBc4=K#>$+[<#-ʳ3zR`>X*cx,N}f 6\Z{3Q̡B%"_=g_N(طFyN4v{sh5 U4/[nPɛ*3GOQV@ݲER>ZPA1C\i2_Dٲl^CI`{57mb\$mcyĆҸ)3eHFާ&`)B09ss=No6V3ØC\O)>3*eYnJUt:1rNL3OKC L`pn(DG`=OoOPJqZsl,Z|?WM֧raS M8a6J8t=gE[6-#ZG~vZ1^# .[RQLvwY-a^1o҅N4x8q>A*,6Ӊ.MhY t C~:X!\8}q 4Mͮ[kD΁rSj @\WSh\IIs:3+кXqC@:cWe+r)m{T8hb偵EIYvɻ;u'||~<.F6}w-iB/1Ve#z;Bn޸n)Ů2?,#6XkЌ26ac%lwD&ЏMQh:FLb,6?'x^^blmeo%Od<5syhi=KĒ(1dJ)(4AcuaK>DUq=J֜uj/vaǬfX&~JA!챇ϣ[h-S?3 @Ğ$CmYZtj2>4Z%DڜTYT74R%_xc{> ԰o3Hc"6o=S9S"5Kdy% u}HrB)AٻpPQYH;74h<2%Fӑ 7{+E&e*鎅C8eQ#jH0lSåEx۳ @('<̋* (c|#")zHӻ=gGBNz|4Dn4n?2BA1<_.˧z,Zo?[Ff4'o w{曹cR<)RJïgt e/XуZuj)na05y5\x5+P>d6u'{,\pR _ŕAlp*vZ=a2mK#Q*o-"_~E 29V7jKp2۫6q q(C/haJ`8d\7~ٚl?e'(zDAc0LD$H2Bn%=E Q5!8v2aq9S3~uuW=lܲ!XO]PM'VjkزeĚ:رy 9QB H9"+dP B$SkqhoBDF ~{| WN9SNa2N=`w=F@1sՍd?.8b9W|cstrJlh¯T="ҕ/%Gɬr͖!'M\r=\a <ɛg _]*܁Ⴄ\ ;ʣMvudDUz>*7fGfU~~4XߜT ˤ@WK䣊,[vLem}d (xKV ! h"N+?R{$]QͱrV1lڑ ;/E fpĊB>"zm";'=}ұ[7kl`>UTo g& 24*GuY8]+wVR?-ߕV?97R"O@9bX*tQR` :L2٭ho1WԅI83J m(0&Ш׼)A(+|iFZ+~/q3+tEᗇ&~]șYi'1q^T[$@ʶEN"ppVF[!\=<9!> 7FO$dL.6}>2 !X+cIMo/n`OS-S.Yjt !Iua #Y0 8cyNV]Fu,hoFyk&0h  0Ҋ!՝rupe \3r:>>]=EpaCU)04 l{"7܀(5f\\%&f(ΰ(: [zdZvZcř5p`>9}BN̆F8:Q;cDJf .|(_97L7BC!,_{gW K[<+^WE'*|J#FA\ӽ~U /u5|i&dFā#O\,˖ =4]&nޜ! #pgEцM2ѿ\t@i2cU[;TCa +&0= EMTo* %M=)?;ֽ޶="Z[PfAܩ^T?#g q F;i2]ԃc:|ۯNfATŸ) 3OW\w(.D1ݙ|F}{]L@KsVqp1>AJ'1oځVT[lelDpڭf+6/HУdcmD8! BO`kɈE..7>76iS4 ‚;&c"0łZ f=\jw _ A%T,/g!u#9,uOkyۺNqrGó-:;:Y2 _-0py ,S-H ڀf.iSibB1go{V~xK{s/g @8"?VL&dD^ۚ/10.lV7 *,m u4:ɾyGbx1A$wEE>f- }o4!} EHG'g/Jf[O`&'H{O*7'"AqI͘aԖd". Rꘅ<h2;lׂHw<)02zt *O1eUhPS+y8zhn 5 1!wJ8We %+$t4c|Jy.t!UZ4SK5'ntV(nфd7} .iyd~`+BQ:3[!HIcw$pKP,F{- F,ZPtdy@uCYC MB+ё3ƯYL$8ኵ-|)(燧q0] pqb2NՇcEW/cRi\(S$ŮȍgJ]6/tA >þܠu *\C^/R%Hm1=|Tܪ?`%NDYpv_5ؐgteGknRlqO} 3H*s縇V$GJ"9ىY zͬRzEWk2^iB M|߂*|mi䋠cٷi Qҟy=%kUvF%`tAHRq}+-&ܞ+ITw[F,i&fXiQ:wZN /l!3.tHŎ#kKZ*-M>|锓 m%:e)z^PDi+΁ 0Mg #7㈊^SZ=\N&6xȮ:Cm1"s5AQDՄNC`W̴CJ^s<d0[:jVdz9"TdLJth ss .x|`] B <oF{E\sti91W/k9WC4ܙQ^vDȜnKJ<۠͆x1U2x PXKBơ@t7*&4‡0e;厝r|u2"}Tkzb"@W~IO4L,ƒ #S, Hp͹Gq7 NN6і+ivǾvT 4qBeRAIH9A+Zft>ZiگoT-E3xQ6b;`߯atKa 2-m~ObAVݞ6!<[>_1A$96(l%7Kɠ} |q مAVG]_)hYB{)R_Dv0(|Z/]];1IQ%Ϥ~tԯ8L! :~u%:"UwCdw˓ 7sVp%cFOiR*eX j/iNe|٤gy8Z Q2W%ǡZdon(bN|`lwݵ?oڦhFZ9X@kl^zoj(BQZ|0V~e*"SUYa˸g5vO{9Ab@bƝR* ÇróVx򛑹+$1sU/~Z(Z(S )"h+KO#1F#2{'V- ѧ;ftu=ASѓ9,;4'j{c2Zxdߩ~>hKYs F.I**PjT}~ۼW;h)݂z[h'ΙϺ؛_ZړS]>.$$Qk{G/i-]~5Jk35ҨlW~a}O7Q@S ۥ[sj &~EU(9FN =[cft:+q(c?W95` ;Vt*p$v65E"9ݿ4B |N·5Wrc.ϼ%]l!A9Q}|J,^]3kGsiN_)`X:@<¢:d~7HR~)%ˆ+JY՟i3&1KX\ - JRcE!+,ӵQ8v!.+Nkɖb#m0E_>SAwַ%n rhh z@}i~N9^KhB Qrhr_޳ 9p!εm;]w +F4(C C){5zBv&xv&5gm$/ʂٸw O/vPm9eba BܹPܙ}նTP6.r6Cw\gAj|ǾFQη/Ci-ujσ6 zsyu>,$?C7t'ҬYKv֍uIy ox(#+>2$sd5l޴+wg"Yl˨ѮL~VZ(QtdǷ2H+D-k8 8-f8RU5m{EXZeT8F\X9ډ3/_|.544ۆI-}]\i{9RBSmw%z ׃wRc}r06W28˝Lh&?ʌb>_CԀ4He.׌ ŜbS͞+oT(A:Ucw3f?32S~]Q %XT殏d{S}b]MFf?;ip_-Aiچ3Y|@uDŽ`I[٨B+ gL]әIžq {INEɆ{f#apJHL73D@8眃w[. GLlNvJbZu#Ԏ9}_i[8 N!@Nr|F9`GCi OP,?4rǨbQ#巊Aڼev~58GR}̍ZW*x'$d=DTkՑOGpQ"XRC<'h!wG&8Z<[<)mwi|fZu:A8yrّorG,&ˁ̷-9GiF+61˧d :ba1Y'Ikձyoo*R8U`Z+nr6gfZ7Ś(pgD;tVTp] y{# `[р:^bշvru NLV91CY6SH4DTc,kv$sg7 v)ߥR2>`{mhAo%a* OTLUZn'bx7$^Dz?)iτ&+. RUAsN޽ Inf}'ɝe ܬ\ $k~mPpjXy[Pn 4< w4f$ϓٞh efEv2Q!PG)uضS5bI,,l%k.X!y] 2| $40hr4IERLlM(#(sk@ 0`jC9Oey؅YnZpn7M2 VDz}[o3k'"f3R>j?4w{"ԶJhfs5^|^^tv>@tFǥ[xoh>yURqߦ#̪\0E>_1"V=gdhP)i־Ȅ"k0=¤KaM۝ct$V UK}d;B3rMӞ`BnUբ3'1R?F'Kr5.HjUj%6DGncnڂ`cUth,"5#Dˍ]O~za?<>‚N།P;@- CJEӹK~ q%_cxx< wQ?*H?ZNd %WIrmԘ6oK!#Yhoȡ 3.r=,=g@{} U ҡ;!Cr}t*q0껱#u ot?&U$v*LKdrBt-aӃu0:D4.mW҂')$:|])sM% gCK>sN`Wd=[2~ 4%?aڳ }2VaL7vBTW;*iNR]*|$8,&?Lm YvTr?dch$"<&LsQTZcKNwgaC<>q9dzu ڈw͆} @SdQf?D!K~r6o!OT*ñX~#/ =]uVJmh9YT $O DV6uj.k´M; r*-Ϙmܑ%*F <$Voiazl}{ h6p иn:q] ̦~+xn7WV!>2.sh~ۭ /WL9s7ӈr7k[Jc S:53zaO }[Ppv\N &$p >P3}&cYL\sw &O0dאC:8?!CWzT8&6aU[?I<}QC@P]anG;L m]<ί0dJ YyuƒWYv A'i!uY{ !U%Jvrr5BHCs% ($KhK=S *dPԐ#N%q)O͡]'Zk,oglzpcI 1yճfC2[ˆn=;QQJmgݲʩrFғc׌ uxUR?ӊfQێ^l Ij$HICpm5h֙єذF{B.LztH[eWWd0[ *R%eW.N~8C;:PDC l +@Md Oi$<,)cx}xYzO] DT2%\9Z_6-&G|NRi9`n<Ñ- 00BQ uE/Dm^vC9d|ڜMI31  cf4kba)22?8]q7(Vf-2 @뮆Y*UOEz< OB3!v>ɵKU70 ҏLA_{ĮEW?#̱::LaѨ[#N|'W1%i[}kq;AX1xd_Ͻ(M&yM7h12yHF~V)^fbˋ_ee?y*%^.63ѧ^-&4(GO fQ a?oUt pZ}zAfZH,OM ~F~t9"`<4R]e\v)D@s#=ɣBw9{lV_# 94%[l16zR\(1PؗG}a* C*! ( .k`He_LEj &twcb҆QR)Cvo@Q4t6r@؏$:)HqOfeI]/7Mhq q/һcq,{.6[EFպRK2Պ!VT$[|&/ÇT@j]B?s"9܁^@O_ (09 okD0ZILm⒞вEQ۫ݷࣙT<;}T6˅-e ZuW?b+X!+;/KRuȨrfv;.ʄr< 1m5+D}bӒVYȋ:Ql$9g|mSOlVtoO!J^lfΔķ퍝A_`*lwy;ZwZNΜ,I.TMP}z _ߙMp!{Ώ-$!Y;(L ֏Azqbio.ivmp78in=<E`n4_QZiېɕ]%ձׅ} vw:}8d\K6Q$Vת bo1"sx3DgA ą&X/c Ov I\1kT8P 咐rnj,0 bYhzΊL0(`z#]?l5%NY!^l^[c刎@L)O=.qzT;35]}r$Ma=6 e|yP8>fOXpDUwsNDReԝŽdX 1ҫE(KAe19)0EPWR` T-g5l=gUt^PlE-ȼ_GtV/(Tݕgwe|RwaM35ƯŒla06v©7-;6󖒇<_l `u]ҞKFHd3+dyGaA tȘ~")VCABW.MY87R"*2A/XJ#H7L2=0^(#}(ggN35ImU>?ǫ,TxX㢻t|OG+$_b+oal9̡-Mn>5)͈g0xf$+Q"ǃtm;D{o ?B)t e"Ht*ۊ<,K+O$y5x' PzCIf42PU@~F=.nZCHӮkR^OD )CЃ޺+1UE+(*%H6'ѧ}S LۘD/4 -JbHj9-o _|ai#EJ_x*v=.:H1 rC?QF꠿hjϽH$2;b1A]@RjݭkJ.mxdi_)Mȋ(m"qx +Ws* ̟~3^)fI j4QMA@Z(RC:i9^NPj\DI!mgm@B 6KXo++u'#*刘BAf#Z9`'8Dž2{} бsM))%:Edjs<)>jW@B4OEmM|"s/B:9QZuKqk5$y8!71m {9iL6q{kЫGdžyqe2xu.mzH(P +i.T-gy f L-[Xpq,h q|0=t=#o;lGI{ +'&$dq'5"ͮ/ XA:1J儮rFj3T&Yw!@S`b!rxe+?ܠPholFEd䀭I)lޝx#y0J[|N7ϗ_1EL䄶¨m<:V*>v!UNٔIu! >j[Ȃ2 1`AD9?8ӕʨtZRvO*'ʎRME$3o;C*80>ݸ+dI0"Cͥu%7c["C !(̇K5;<AC dfj A \d|eT5B1OUfca.: "JM1 ZR \3Zх޾G$hCQned퉘ΦçҒ)cM [ۏ:LJp8FmDC f6 :ԋ X=B܉46{S8?-\6R(Zjc=U_NVe|}45cɾ`55~0VY$  7KQJyW{K3pnN{YjEn~t YYoF>1 sSGۻ,?DeaP07-_qkV27{֤ƇD:"OhA`"?fe Ӊu˺Pƒ̳|O{=z`˪U'\ ` Z B.93tR= ݕKkemX˷`ٳ!x{r*t!vpX̷GbȱI?WX: X+Qf!BhOXG'9Op&^asNjHze4qqd!?/N!KHG{ס.#+XA+C0ͬA&ӃEI MV1yT\M?tA5:x6Q{ژ(qKįO7h)x=$iЛX&Zo_TۗoGQ2|_/a;y#gqpvkuQݛ$ Qx$aF/9>{44x}o×V}$O Y5}8ߧ,D avd^5m8fhJ&o%~qQ&EQ^ѓ4(G:vf- W0I9t@7͞Rpw؀׏7OlD˹."IϿhY}Y P0h$βR"vv9@Mj$>$^E3Z]ti9 YSrl5]7xbrEj׉b$i*P6vZ)S:oji5YaϏv~cVkluN_* L!§Fq+ta,JX?C |5f+yl4QKc{} 4*ڭeŘܺ@k .̫G%T6A.}ֺ*<28qawEB/'{9og,D`8w^:J|;g6R pl,?~?DS yLHmi*%n_HQ73,[:N{Ƒi=L[.6k6/7˅B/(u&5%1*-ҩ\(E |bJkH-g*%u~8NZXQ'0zfMO)NX`؂ YU{(qӡ핿Nbƽ=eE<ե4Qf;$dl.>q*/XFt?z(w¸xCcfztQ ALK_ >[ ^ agg~D}bҺcھOBwA17~R#0YMiY(fEDsR7X}4.$kaNgG`3#A5F|IzƖ .hK72s/E @8魺jW1 @ # e qFrzjI{ֽUDДW4!re)}#c:)guu)F+""rvt"b[4g!i_FAy4n0Me%:`չˎ|C\qnϢe@HU^l0%?[7q4z!WU$։k=.GB"bbUق, L W+ L'MqaxޟZRlw9(`T:F։lEQ\{R5N;mo5`  Cm$ VMx[o%bARFgδ]]ƵSS1tz ޝ:(9 <ǿGaϑ ^C,ƹ2% &.3z`F JM{Y6a5R6TMlrUC_ n>Ucд8 =*hzD5eÙ2FF|Mj,.)CP ORF7Tl!5%3 GU`rS!; cS-Ω١x|n<]x]wMfy4w!,26G!$Mٝ$e {xLv?I^3SCK Rk{{y,h qaP2a2]6*šPg./4#TENMyXS%u O4׍gAIqm8c<(!(}h;c I40iwJ|K ^ ʴK<lޗw+6X^؄_lbqi&ЎI+\fDNt&bi2Eo/KԤ~r+Ѐ{ԝB [}ٻ e[0705|3aO4,E*Mq߈Ct F^J-[ CƃpkB"Ӱ ,zT hďi(Gg0!ֻCg-eX@\r( :ߞsdTM30 I1r"cmbW;iFrt^ .o&ͯbZ{E?)g/[0oP(Kf`Z2y*@3J!h ΀)xRU~qM܁e5 +<~/|ⳁg GGO?{3NxPUJ[BtJm#H)gkl{?.zQ -ga2弢[ڭywMaqA[ iQy9xJ?PU+m%&,yT ؼ$Ggk| eKtCP%0)-'9\Bߕי|<Cv [v̱l6>o (mPx]S"M Z}!/ *!lASfH6$aV/"dXv" J!Ox:e>u:R<ɺ02qz[ '{L|{jIP<5~+SpEGQ1 -F;n%֛/~^-v|{XͯᠼԿ֟<O y:/ 2ФVc$(c|Kݮ}bs< d|L[Q G&954#/0lvAG^R{sd҄TB-8'M){ XCaxE]hˎ#! bipi }}J7NW{ Lf1tbflg}u^ %@:q|DFX/,#yȖL]&N7~gݢId D‘&hz_ -]~̫ b:AGxw~fKHgm  D 4y>$C8+qA80biE.5r#}LzlaAN$Hxi6ue H]R=/MݕR㣼zCת{sG_,dvޅ>E qgkF& 毥=$t s ~Ac MO8$Icy `m)oZ`jyFCe1^~;&b̮ؒr)EǷ` 1<8o1Q÷g#`({9f(pt/;}hxFZɢ׹[!Fޗ莿ˁ=l5{pn5YF.µ&pĈ=_V$~/RZ?Ai$U+ D-upzK;2bE%T,#Ex-ofxaE_٨ic8L! OM4^/3dI(>~Kȕ}pCj BpSbrV|G}1kP>_$O65 t{n-3EmyrO/dM ҷ?9E''޲jAk$ V Ϥ5y־Lww5:9DgC)G+ Ұakqtv7t:*OJ$bԿlop1exַG7t<ֺok'1=r%eaʛ(QOowi@ifW聆%#0?Z2ǝBB[ߗ$IhZQ? zy3$FIxTqDI<(nxrB'Co~C,f@yYcTlЧSY/SCIMMҁЪe5/*4 (}[H`=s_Jn{qEQ.:7q-ƔۢM?P=!.- Y܆bv5yu5y*mͥQ}k(ted2k \QRES$+qj:mrj*yn+*b#P5&Rmq{T #N8َ| ҨTޅ 442_[2h|;~AyFhB_0܍l[FoA Ku`WXvxi8bh7Uk8FufV2-uç,&+T7VYZ$=(`-3\@t~!G+ƆmY_g IF|Q},htb*,qCd~ޤ[duqa;*yΫ0H{QCR/ta , O8- aL:,+OCh8{BqvL*ts5i:a#q[P툣R[>l !0,ף}ZNaڛ׵B*%)>xGelb^zū"%mjt TkR 찌m`*فAb%.6 A٤Xnw&ɸ=es+WA4h( STܒh5_ޭDXtvMϾ#׬(S< m|瓵&1LiO ! ҵɆi20%mDxXy4>t?X-`KR2Zbn Jlgys`&XyF8\75xVc=/1K3Dw?Y%U J+RVjRzBXOUòVq*ToS ĵt\'J(g!R֚bmӘҰ_' XBodAY [_ (N9Q\*UE<&T(I_-kܳʋ"!0컒sյ }MWr0/{VXYjD_%,-8@ s#&8 +v51qsH8eS765Cj#! f+x"M=V;C}err9XN-A$= lbRrfЪ>Jp9!59?ZG/;Y@+ֵi!$ɖ|XB&Ie!8b4)d~K\vx ) b"˜p? j7]Daի)7;Dy?|.S6npRΤn9tzFZK.-2tr*@*WjrPWcؤrҮ;+~p@L\+ #9A5`㑕1`BP@;dbGP갼UH+LGZzb=p:l0 f=Hy2\` g! HZs/ѬGL19 (ơ:l7l!0CU-ڧs(j;+bdgYZda6c68b38b8356f8090a44844d5cb06e5c646f261795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 6c3f1bc9cf6c57af01ac3a1cc2e6cd8e2c05e4d1 1780c97a93d436d9744ad7a71dcf9555f805967d c7b58ae327664b44302fa72b84faef3581671f9d f028bfdbaeeb269b648ca58761455ffb254d3dcd693486a45192c578261d4aaabae7a531b87133dd