SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 i) LD ]I Floyd_Warshall:threads=2elapsed=22.611cpu=38.008gc=1.164factor=1.687zXZִF! P`]ŗXf1-/6vRZrS?rhg!;4  8,a/hqP4EWl ՜]lĎwR>/XDίy<ADןyqnVT y:]t @ 3GA`Sp%v'1=H8h'ٌ0rԲ C`\U&H 7ocHsE\h:D#F'Gs@BCtUk'U?Ǐ SI*2T,# 'Og;H%5l->}h@"L! y9w& [/Eg4-)aטiV3Lhx~f.:t$Gy2% Ӕ3CQvUW+Gn͌p YaW9JH63`ZUIƧ75uQTP}W0$,9./2$ʹSu@Ry[ځ+2~Udi[j^l|f njDDOgP?!0d.:C9lEP.igYZ7zXZִF! ]ŗXiɟ$OLO+&%ZĆ.Gf?ܐi;٪jEрq4߳,Q?M@PpaI/- ^&9bgCt%a(͘hNJ؁ yv&G1"GyP gYZ7zXZִF! {?]ŗXi%; R.O MPTgo )ZF}-龓DPv6|3>SV Q* O>6K XMe/w5э-0xD(-U!.,!qV6ŸVAݲ2WZ6)9􈜟,=y@Hj0DzNFLrucʉT7# V`]o0we8 /]ˇC R扟-E3d$wa䔰spI4jFv^o<Trr8hhj6^ 6NJ=%2/s9t\G>;13u@m kn󇪽}IMgo= /E9ԅ;P~<#U,5iS3yĴK_쳝B0ubƌS:g4dT,Ruo@ۖOk*P9j<7΄}T`d2B2MߏQnȢ"AKEbj6׫$;K|%m< ;(2;lιu` JTdQ49FLnjX{xP,O@R<:]؃1qf”:DGD//.!Lmݳ| q=>3K3V ^4#}~kZmژ Dc'_mSe Yr'ud2 j#=|'cQ"^21!-ZgX>tC$56 AozjPρJ'k2f(X# 5PC+ċc߲a#kډcYQ2{F$/ʌ~ ;*Q]]G )+tuEguhؼhn=mOwseԥp Ɂh圼 OРh20XKBܓk>!D;H _ȯ=yX"@{e@_Du¸iP&O 2eI'QT@MvHfTUra32)OJT FgH}TLr`72tDnhJB qAzaN1E"Du7I~D&nWZ^N"I2Mmdc{)h:Ч; !0I)gYZa497b902025d13938c3a05f320ea2151d5baa6d20a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 48f5e92669655eadf836376133942ba1735ecfbb be0faf5d1fbb0fc2730ac15d3cadff9b9082af1f c581a6ba72ff0bf81bfdd7e69d09d8f5b5a7f35e 87bac576e771a9f5831917f2060c142dc9c6e504 5a2731b620560d74cb32729773e78b6d66b9e7aa ) Floyd_Warshall uhuO)G% ,Floyd_WarshallFloyd_Warshall.Floyd_Warshalldocument.tex7zXZִF! [qP]A-MՋhvG"uIBm5lƬفv H|jg znٳb&F4:FdUo>XDyp+Pc>owOI L stQ3g;_PLP1;/Q_WA|B@f0͆+Z_֥~#HۊtK[hXAJ#[¡G L:2aregm')ׂn?7$#)O3ʿ)l/a;S8 9qVoBIG&&RIu'qG/ ̗]NJEwIt(_6}yG%)6%F0mQ%)U% LFloyd_WarshallFloyd_Warshall.Recursion_Combinatorsdocument.tex7zXZִF! VH ]A-MՋhvG"uIBm5#.#?໿zb 6 NLR$â?ک1etW QoD3巰zM4CN us+{L>x=O.W zwPG+ׯ sg>*sߒp۽zeV+HDQ57 p6?ی뒩hGv/nYVD1֝s FB.*eeKCijdt!Yur5cU7FoUmlD϶G pbz/[\i.q(E=G,HaoVSKE\h; zH꺿M(7pitXND]¢Gfz`+2"߷ t:RT6WZJnqah[ -9R+ۏQH)|r,&`g0xu=(-5hJ~;K8Ka~X-(KzSȋ\*r:IpB~-܀a$֣ʳ'95NϚVB#aS4φ)o,CQ_`J7~Nva$# Ix*P;lR.KǫOkeO5|ݘA#j K_XOhLSO\k=3i16ۙh~_rUIZ3[a96px^F=~pYDbR~5\siQo鏶yo `RuTA$z>jZ YKi>Qc`VE$?|Q|WUD^ٽQb J"1J% x?YicBz^d9EJ b3)%!J+'[v=8GAyt1u'$`襛:?@IԴ _QX{.gb]8f`IlA@ ^ }\?"]Z{BI)]dKXMuio%d]0Ry)trH3m:Hge( m,B:`MA~z(+S]hf0i8DuEruߦsoE/Y;]3#w” 1ۯO'%0DsϺH}@QPrO4fSC'DJ? ގxgk u &Tv-Gǜ@2 an049E.O,rXхVY`涷K 6brBɲDG>8$_$iJD$|د+1m=}8ʗl2L)CŊh(  ?C ^lX;Uμ_?-KHߖb; I')^#+@'1cN*ey:2fI=JhW5`%$0 jgtOj޶o(F>l0Ze^g+.ibzЌ}X𶹡'*8 ʱϥP\R`YA5}ͧܽW*|q,1/8آ@gr+Zd`P2=\Q7K Ǐ"+Oyww܏PA[ 4 ^gO|Tf1|Quҝa~* Yj}δ?![s"f*[-R_VuiTkةKdaS>$a-!.1jɬ gYZ)9% DFloyd_WarshallFloyd_Warshall.FW_Codedocument.tex7zXZִF! +]A-MՋhvG"uIBm5b'w5zaLAG*)oxm%i*aS9$?m!hŷn%70Sz/vB'[(OY$(궷o; c7rY=-DGYS(u5gF#,gǴu. 0`.E|Yx`ZJ( PI醵wPnhʸvI2i+8mguD/pKwN͂ *8$,d#Er}?tیF_ҝY 0- ZpB~;-yV 8Ä Ok OS9hfoL .{)D HIJ4x?h-Ny*i@h*i˼.>$̵N GG=)G%Floyd_WarshallFloyd_Warshall.Floyd_Warshalldocument.texD)U%Floyd_WarshallFloyd_Warshall.Recursion_Combinatorsdocument.tex5)9% Floyd_WarshallFloyd_Warshall.FW_Codedocument.tex<:llm2n 3dh% W}no b"ZqfYNlt/.|Sk7g eߍ5fqswVxWb2p.]f%\FA"Lc_˜%5em ˟*Ȼw9ø5DQjMY$z.F*\nI2vWqO΅#:EǥvNGaW(/^7b-QTg[Mp+Ԯ)/uvHg'W^d.o~<&OC)@=zMT Jg(תk֫OCf,n>K ]a ^R=<'n|ha&U3Ua1nhNvuC4._Dxqe'/e(vaH=M""}fqt @G0H_0вELIȒ1 aM}! \I-ׄm (|{_xh=3;gS(á[DR@ xGqдɕ'c3.MֱB>G?ȉ{y5&:烁WՏˇ$Dv{vK=4O=NfNUs?*N(WmsT!Ŋjn 5Wv$Ե9+kT4&PW#<dry}5gɭQs li؛cpAez BO6ɎPWtrZ3gJ('MzO[ ;^e(&%cx!b •K+m̩g]RZ+B}U9ft>~/N10,&xY@kC뤌S@2˔=qEo1 ̓D_&m~!kƍTb@%|pmHpbwYHYXyj,^= GU"+ŗ@<xnŐpHoHwjftDX*엓\m])+`x:.$pfwFfTiv [DZ4$6GKxHnƎK[)PPH߆qb`DVQ$)vk #5@t<[3[kmYRFyG1=0Un#aK@&2)L~ xsw&zo5mB2$<`j~}fNmшt% T IƢJ$7oߐCKBnmON 0꿲4zW\j62 :4Sl c#,eUN{=j>Ćw= yHmïsIG/ m]ǃQݡ(Sީ`M>v'!xw<APW@v:^odX$>Y8ُx;vm%v)jU\ަNh_ wO]0e1GRjga-ܣR33S*&/}"kskb>eQ/KOokID:- i0iE )' BK9XG>lNE*a!?N%b@hO?)n а:_*\*5.+HT IH';RQ["4J'̵06DiG҈d=̿MFo ,/iόbB"D53 [zOwmE}4;3i|] msuS>RDbU-o߫< PGwVr LRGßM>6MQqW.V6qOBbn'Rx*ǭ׫OtN"!-s7TE>WFɛ2HiZf.$Gz,eڻ1 &ޅ~1Nz4MKZC?fIWƝ)pėӀΈ\9]ƿarv\EDDXi0M= D|D8uȅ}SBlfFwѝzlO6S,4C/id{F ] @cLL!`v)9: i]Qf2ONB:}4!^y9gYZ]ou|(@?80>rKi761]L{pZŌ?kJ#:>$&"?HkɆrP=-̢y*f^,lE > p)W2eibPT˘SHU}Ӹ,/%slgKCEWZC;GD ϒ jNٿa5u|:qxR%0L9c s] au>@ŵuaV ԋ!umrOo.LAr`+|ԍ:Kg$Y5/nzb; [ .XQ1YUvq,rR{' ܼ5% ~nKE'j{JB&`̛@5SGIUn8@H*PD'RHN,͏AmZ/7&4CݟC%ɍƪ{OHث SȪĚUdbd+K/Y29Nw4q2jxP{d39wgrEwu&Aj-Y%&!VRH'p &[NܺhU68z3/gsa̞Un RLc,%AJ ;j5 .|gɺ,;%ʅ1>5sX0;v:vIJ >A z!4kZ_vsMKkD_(Wzd^pk3QUJIDF@d+%DBr.&{7it( »! M)DB/D ԍ} е2@UAuz=N'~G7|+y.ùi~0k # hG?FUywe}-%2ְ-ʝzrxq6V U?BDP7z&3SMYbiN\@uAL]C[3͓:gC}5;$@sF DMM.t~@#nr8cH'ד8I8b҇k+q鮦"g ,Wʯ".-l D"eNe_7~-ܠ)RAd52¿$!¦8*-kyW?k"EVQ$d[y0,č.ŊysSxG%C3";@FZqH~W<`q?qe:GjzNmEnn Tޜ;dﳳlӫ:t>UCC3ٲ?bz _iY,-_jP6CƏzyrO]ێk}{Mah!$,p{W܊h1i6rY _,ȒMro)BI =UItGfH8iuF7&jpVց +s4]!(n1|m)ӻpD'Fvn>x C9Er#nUd8u@KLOZc IVTCO[Ągn㞸s8|fЖU99MA Q;bp7$>r>|E͘V=24m|[Ahs}=é0,//.uɿߪvpuqZsbmލ,)5"ۊVړ'P+O0rKB|BlrS[o#2~u5pf]l3Nd|6;C7Qx70<[g=\2BI,@++a(SFFf9Qa;%E^V*>9PY=*0!nګ7gLeN K(0ZlMK8'ht]~F"(/Izw^-ĸ4dmАdiP t7Y].ÓPAG~ڞdP*3h8Avl>OΎKbSBHukWr""~iݰWٛlGBhPU Ru-,bعU tFCF1ˊ >E,*oY R+ov58Ap ' Հkib\|ѝRuh ZztZݳ+X&{!'\J#3PcUg$j{Tl,U;":'(Rg*Oi<=+܂[RXtTZ7aj|N%D{Fd+ɔt7Ƶ' fsܢ>ѻDM9أJJ{*lܤY`=;{aCCX;An|LfG#KIe&#R5bPN& mN!Jz1?-A5bn%]GWËc^BY%сiAW%gXJjxUbWiL5Sg}1b*^I Ց7~Q 1ƃV>adE; pUbh@ EHJGΏrSj},IGl B_u3Ѩ+_J@:W0G>iI6cG=qN ⒅o;(S^_Ŵ\ȁgy|2PXI0h%㜄(Z,tLk;ݻui목FP1&qhV;qQAՎJr{h Nyo c>+Ə &{\]`59RՃm}w}=qïeC4h$D)1-/ kd| gk2w7Jgv~G(]&mˋk\ݕXwczpmEawVCϜBE>cYx ` i6B{=y`Ie h_q(FYG,XgSr A!D˂ AUM%c)Gs2T$W(i  =dg2yLjI+81tÑvU .k9$\Ŷ<1NqwO0W`j%3=یP0m@@?ϫ,ɫ]KjUO~~ XNcˆ0>'1¦4.kiw&[a1J94 WUAt,M$X^lǚ>7veXz9o [f8,#NA ڡv'))A~ %OJMHaLDjQ}h-=C21æe wۙ3`7W¡ͷ(" 47zZzI%HcޑVs.7 l Q Cn%͋ U61:c8 R4cCUh Qhb8ـ]9L|Y0,(>Dmi4cYAD%ǩx} c-K ],ydTҴ H\vTxSA#_&l|}d){?:ai'8b)Ol,MSdiM]Tjl%r*H6,7XϨK8Q Xs%rdq ~V2THWW$!,2AM+O\}J`Ոx+T[XT9^HAh] 9yD&Ygw5? YbDm}E"dM7Ҕ()?ªq2:|Ԁs{jRÖRw;Ϲ4Rh7J&dhhi╞26!> C9.X\%e@YQd\Zû. m~tJQ149O=&_ `?.rPDV^隯haD"$}aY2) +CEIȉZ.f\+Ê!@k-GzX B,ŷ/\v \PiCT8hU1|y}Q4meK]b-)5U} Oٹ r=,=y_D^*sMvs7ч;ƂNll?;S *t ޯhnahw)#qLpuP߈;@~,H'w/WG+Z9: .> ڰ9ʤ!5lF҇GWic#S_GEEɬB VK1o*s3-o퀳I' \ƕ(g e77W##]u"'3،y6%K0BEE%yϻ@lPY3$Ux]™_W\~E+<IoҎ/Nl}ص*üpKKωg[{B @09:C_!U027e}56aI|2!'&T1G !np 1KD=At49_ux%,kl^F򟡐Woږ!F>z%E& Av֠t-9qƥs@@UǓ<]@r9:1Vʯ$^tstp)0gx-c-% GuƞY.LJj0VO\]Iσ=#C':XGpCʰwdArmqhKT-3ى#1KÞp kX sDL !T2/Xy_=ܽTdhx<BNצY1|.ىFd,r-W{>Lz)+ O/)'GV?5$|P,C&LbB|9Z[o꥕`xڑɃٓAq#(*ؚr;:q%ځyzB@Toz?3X*aF~yIU pC(mSi { !XuvGW~n'_ +&faDSVV#8|I$0%/ׂz۫Bcf' bY$[xɇ }VsO`:Wڸ?kEDkuƛMMtV S&^|2NpH* 1a*ڨikt9b&7P5q`lV];Zum"H5I{C#b%fQU*)p%t+:s?jrV75f.8 RNx!U^#etq azɋ*-mIm!f &J}_+dM䵛.AkVOϳkk@h8妦sE;-cC J4bQ%̗e{^&;3"ué%|Yql{uzv]@_А1tfV~-`Cz @HNH0ղ^V0haF'n%x VQGGJ柛[A؇FGh օᙁ(eFMwVs"RBӥFZ(%5ޣ}QrB.]ITѕ[Q53vt-&>QըNJk(oc {n.Al,;[ﷲE~3otcGʫ?9{Zu=O1 F(.H Ƕ3NI"aMn=G󵶳CeG7!gӬuy_ @.SW'C맅QrEJLP]<^Ij1yغ^_?zc=D6)M@Axc3`o;ص`i0Qѩ Y_b3#E{nfh'jpҿU&yDi ;[Y@: H ؉},jȂ23VGRNRBX*( :z=ud%ךBc?ǖCqL9+_|]( }::׼@0Yy< CD# @Z-/eS&`Jo0;QU״Ek2YvݲD :昚}:[ШnA#:G")o4o@Ԣܠ$pq١`#: 2]+ g$dGsZaB+oKr)Uᜦd J{tqi'ͩ KR4MF̋|ZU: է'ܐ=&֏N78hY+Ni@f/sfLՀ;<-elYO傇WޙB2l44Wbׯu]c81yGlWݸ$ZִH%|:k!>^v^ o<~VsS᧕遡'ND[Т()c`վ|?Rں "+0b): ڟMGP>r7o~w-2@S2,/ HSE K \x!gnPK&$>8@s;`ycR`udk Y_QB@h{:t+\Jyn=GaTήm @Vڤ{ u=C27L3$Nϫ,Wh{ع07/X̨Um5H$LSjL G'hM%^\ݙNJ#Q 6k2ʰCKQ#>DFt #\S~OZ󊺇fײRj'iY9Vzؐ2 IU"sK` 1P_,zq&iX…M% 1ޔc(gթ+JxV]fzApN&}r7a;&Ġ%bd~&t0\ޒ=YP'ɧښU*$*E=O-3&ZyQ_QppF&N&z%. EVR]B'p `O!"G\N" NfMyXTpiR1(F1A#VaOT@ax~fGeUD!iFY7_lDX0n-f%InbA <ݻuޠ\h10 0&xBsvaRϖoIѤf@" .m5 㗗߄2|e+2vA0nsK>=uj́,|-|j F"8! EX`&⪄{v8gz&=pՐ$8PZ3,=Qrdli});Ad~IaE-]]Cec-o$h8@\u"jp`m<|}b/۝D/R*~ G]u1.I4אڟP1-5llޭWFFlKT§qdnSNsvu0y)+Ez>ÀLs5:&b\b?|t^k0ӟ64Òaܘ ECC]}YBwx4fo"@6=^бb ?Sm{UpL$!M^F 21h͕C0j[pnwJN_𢡊$*m4aw+腅7U+m\:/y1oM4&]^nt:i DO~ot@ (_$mюcvUKZMؖ)tGh6xIa{Ďg E5)z;wO寕ES5v{bKf\ȟٛy\cgoJbnDl%%#QzG }HhbHvK v ]G\>"(Y '8se5p9Wס ?ˮlnߎ$R0{tz=n{z2ٳz>XeoJ#۽Ŷll|>($jFu(f"B`Nt)yT) iFBZu`[Xfx{5cZX ҫc6Dl(؂NŮ`NL#,4m7_vE,N#X aXyv% n. aTqLl.ĩ7 Ћ"K.r\DK#2)kGrjѫ\L!u ]iKx|CU:6 d+!9k}B^es&OύN%z zX=EsCyjm롔 "葝GdZUnr^:t>o _K|طk<7>D06!۫Z aDT%ˮ+Β<#"RLۼ Rоf+U53Yw!}DY< ̛f#`-{C^T켽Z[gȵ.nA-^R^cazPqCn~ 2hۥ&ݤfd;""kyLCh^5H=Lr }g9ϲmrW(Q>k-jN*O9;\TxbT{qqOC==9S6o+WT2il :C&-)O8\WS<̓ M\H:UBES+=B ,>}ى/OR4С7 rOVTЮ-/q,JM.#ػם270X´@}w±rm7.Lx ]4|ŝuHuk83~XN[/QamZmS?ɸ*.i:p笆""+8M7<7c1oE:4.mJ$N4NM?Yj.i}#2C 98; MY#PӵfBY8 [7[wpJPdZ0r9ٶLja jg3r kH|=%B9 Q0_Ԯc`ŏN`a%c ' 2+B;&sTUqya*Ӹ$?Y]df Z  eL%@c. ^$4UgT2RR^?葁s), 5N Ĭ4GnZeoSyB=fIh) u^rr<GRt3%1kRp ,ɂr$pr4nhP& {Lǫsvn 'bij^j\%U"~LbAN|&x EaЊV0\a&@ϲ8J8i7Љ"a5%>ka7]c:X_sds%]H1@[IUN˙=x: ]JDateK5bcIĒGEgx^&lޣ %&g4Lk% =Z[wsV-݄3Y+=K\"m& iDDSQW+{iEgj_:{UC" H()>`Z~/J #n@eGWߋ i,A_֚tO{+^I(_ː~Pᚎt L}C䰻/sy<, l|ljR EE8 a}(LbŦ)ԋ;AO4M2‰@Pg,2u[,Zӌsc,O)2}Bxymx@r ˭NB t)FȤ b, l)_xżvX|` |vcj˒,25r#aȥBs 5L>bž3s:4-C-ӎI̵,34,#(șa)- ׊9=X%`Z2LzPLH$v+ _Dh6z[=-@U0j&2:G0gGLZ53wdXVQWQݚDc\ǹS\ӫwO,ebƭM yq9w:\o]Lƞ{|.>7;x3C6_@])NoG]Dt)4^Dpm"tAf[Jua<ʎ}w2pYsw_wuFT7Zg"rzYB OeQ=8+o EO/9πA|ᧃXMXTJj%Jd9V}]1%:>vT )U_!5xNؕ5B+W۬ O ZK #=VLxC$a N˫7Z6K1=݉d4SL|*9):taaC(@LHI6I*PnϺZ 拏VbH Awbsv5:`N{y~=(iXAow0-fĹ~̀/EuBp/E#.*cM) :BEY䆌Yb@辽85ٔ[` e)ʈCay`4{}zpX=YHSxN=iqǷhÄUow?U]`"S6. &S?x|)٧E \-!\yfpEdιdg 1bCTGxÒ’5n|LߪX4*GLGm=Rȕ u yNP{ls=6r͚QG"r) ¡PfZUks]B)$N$hwz~ktPwcTE;X$Roaζ.(A'O@}p֚C@ߠP~*YP ˽!ВX,Pʴ=]AcC7q薱 3_|Dsq yR.-ɰvpY{Êc 34u3i գ1R7Gp)89s~fH2eS hď4&W#(2K9eTlXETDJh2EL,#/"uvuvLM.(fFP[p{'V%JmUbY{ 仢b0sBOÀȽ~M΂ <@!1F]f5D5Yo z +==_]: lYl.C5DNˍqArH *mF"ЧMվgݣ K[)Q 'o`݄x^^ Jfb-*Ni؅wZ_e@Co_氉4z8-!Vf GT8VX Ex7w%G`tMWqI?xOV5Xj1@_ Ϲi/g^²ٹzŷ\ R(4W&SeϛBUFp"]ӵOZ0h[Rs! {ew@_*E=Kv.Nz=B"-c,.y\ܹҽc!b#!"m˄{G`'bϜVaV88Lq@rp>MEgfGhP*O8H J&- Qw" 2% /KmKQ :ncI#:W&  ɫ3.4ԶX1o]5}%p-c1KQ7wPHl {b< ')zO8@2wM͞K%O~{Oۘ &ٓ RQ)pR1Hwf `?b̚2(sHlnbԴTu CA6)GߕFbyM==-BJAx?4`2;~X!t=KGLCV2oXM~:,z(43C4my);(Ɉn=s ʼNk]Y?zWzz9# T}WMHA/tσչ59q0tz7EsP|H=ׇeđ{ZbX*E gڞrm>sxHE*9! i_'CaZԕG!J4̣'P7+:Ej.ŶteЈ[d+s~rOuayߘ @'!N4-!kn#f܉h'3yxPU \1iF`A EFXuq6q-YQ5iHs 97oC?oDGϷnFA$a8)n^tk܄(UA"w:)I6lѩ~:L׃SJ;;3LEaum]wwd m2à_6u4—fPkt)I}EcJ~P)G EH0JjnP2k;覥Pz:r6UH&B쿝?Zl:to)ד\s $pdgfXOq~%8=wPۮ*f #K1 gC⯡_H\6*/odGsPoe'OpfCVF+7 84Ip5j')TeW:!p+=fcD[o9nF:6ȥ iS?Zcu0gФ֭#mJHn[!okX <~0G~<v9s UFq[^Nc,Q8JQw-"^ 7dr_Zxoٶ-ⴾxh@s)!_LoK!v)ioHNY*qhS=}5i̮es4^`(k~eI aVU>)eG'vӸ8"( 7zMvYg>^BEfƕ`z[!ĺt1pe Sg+dgd'ou(uZY*k]U6]BdG9?MJ9s} /6$鐬qN)6^կdTw[V3ED o~b7r櫈lݝ&NCメ)R8 -p7$@9E5.ЇjQgd VX S]#iRbm=_J+<0fG`Af7<"bRE" %0]% (8mfie,nwu,i SՖ^iJ&0eb8_]2Q/|}?R(_l}uPFCW;)OI5IIWj']>Q h,f\xtkhYqO#'ջKTɗq41Qwp~lSڄ*rNc`5b|wMZ&k.%ޯYe2C2HpZn|k#q)d`ői!_.t2,i/ImfJG˅,+Q-&X< D}+gfy=2W[˾JhgVWwvU'U-39=]>NJcuA"~/lˮ.*; faB1lC|0;MKFUiR:韎( 8ŖLP ¿z۫ _}5Z-go5u<Ҥ:l҂kiT(JAXۉP %4L.f7nWǂxS2t9/nHoïN}>ROޅs5Gh9,ЛP (!icb5s!? [  $X=*BK'8 }aqn jiR,PYBuWw1ݔᾳ6:ui ^d&7PP֞a~ٖnjS@$zp =!"hشJbWoEr5?ODI|bZ5{ml y{u~ə}ld\cQ:?E[ܴF³px0 D~ v,w^$lEV0&>\{&kbbף8mj %k0(HQ[i3[cWZGȾnL_4BV]+OmtV9/FO#EBԡMq+:_t(o|![OΩh;v?G* D6WfJ[;M~ e)6J㳾8<U*Q5`:xLSEgQQiOB7U}pj%`Su,@|c=6]3q~G+sx>#s$YMG1ɲm]}8stu6JbVHNon,oDElrZD­cugzQ] ,*9 E Q˧96D.z)-%[dtjGW)(?Z"G`eBp##*S GA|vgOov[VDUԤc MJx,iQ>4=+GOmKW{7WII%9믝 8 a@ʅeSE$X3ޢuLb$`ʦ7JT`ޛ_ bMv0 8Ex^\5VU8 7J,Kq̨ wJ[~;i i noFQ%ALQB $-5amYoAw3Ѽ7OK)ı nJ"8MmmZ.;@/<[ M5OR!z@4#KJHǙT y^T9eZ{'KGnɀ -ƏhKsfw K߄{Ӂ-iL\ЯaI,K ,P4,A R%4eZJ 8ҪdD>wғ}eem^Y ѯ'= #ӺTu}J q@y@_&"J7@H}_Iqi-ق.-DhUEdq Xi)F*D* @C@)\5 +i@mmf[j6zs~-DvA#Mݭ#ςz@4M;=π҄Amg'|jI{yb޻Gh(3-L֐-ګO^)NW)j_ǘ~oj? pK˷ iGhBcvIeс͜,w$hÖ]sZn^8׈z2]#fY;6Uz,q(gەK"j%M䌓ཅ 0-]!'fԹj&b`Og,dt[8vY ~xGvNm+Tݛe|^ 7>,;^`P&Lp'm4Uk@)݌o&˥ [Nތc4SlG \eCG[_zexGSD,6**ݏr[?t-Q_ݎ)K7ZgκtB7Qa.c{*+%&]gd&ª N*;w`:Ub1]X0#Svhp(aF1$1(:KtWƿO_f(+hGp-Md3ՇvL^{G Qfy0b{dE5""[ i Jo6/[KU+mkwM&ƷE".Yܛ4FMjZ<nL3Jbn %+ \NU 2B; ̏RLscR}ơ>DASAߞ%zm fOM*jܗ<%ÕU2ȹzCδÏ5Xj%b];K\^PmQJ$B생 )4FCh(|c)]aB|%?evrcיIz,HiH;/lSq?CDjUS|z((+j@8СRnHjJƙ97R!fxuġC^ºŕ*r?;T jՓkAAK7r !prBB2a6h6XgCN(,sK{r@Fc$L2Ρ.l"Jlqamb0x[O% ;Xϖ8u8 ఠ f,PV+ \.[ܜ=zc{#D@o =ךwTy(IOVɳ [lȺ oQlc%geFY& J:7{ͥy[:O o+}2Ri[/h'즴ZS–8]/rWcc~Jt , 0IKtgġs@kYYID&+@qRGRrd22X#yL-d%z W&P{p&anŕdAk<6r iL9kǮլ=␻;y'xbEesDd>T4[ͤB8 DzF{)<Ҁ7>3ѭdqr]3)j ;Wk2LblbW= _e:ӆ@&P)Wrgp)nwUD^DخvY i6hrGǽ ,Rÿ:ǜWKVAݝG2@֪|( !MGFPcpԵ?mdv*4jqofrqs|o[7h8 ̈k۶YC#߻mP6ଛod?<~G^Bk /rrdoT;lbK0"*g,h7WcyxXi"IL}3GIY'=@vY"/>ӻtpm'4?03ߑIw Ԋ.6ZA#LS$^X/NєKPce 4O%r 6p$ w@vIgkzkK-/**y8vko-sMXxzصz!W<pۄ8Pg#%((8I_)rF-&P٤25FOs8>e#v_ʺ4zܒgYZ