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 m1vl,D ]/ HOL-Hoare_Parallel:threads=6elapsed=63.978cpu=338.752gc=7.2847zXZִF! )㿰]ŗXiɟH)0%oچ [ Rt1ìlT@x&#Pt&194@xqoV%X0f>\955ǿ/h̥{7f`i}5-2NW12틂׷=b 9d5xzuxVxhfGY=KL#DPj~f{ >1k +r#Zy*Pݳ(A/FfmimA40,YD4pcv=PdD\Q]XH{4 hN \uZҹF@Dztt'+xDf]VFZ m,/+8c " td$ VeB`t>jǨ!g~EOD5+B' R'i z(Ѯ8s٫G*2g@5'ݪi6!Tl{iJE?.; >9p9"BsKC9VZbԽGG-g{HC 0QCK%*9q'\Wq% pG ;+Bݻ[[>$=0 m&!. T~갊P׷+@EtQzM!v:{$k-MHnv^vZ(=R3gSCiH%6c;\g!w/Cp*đ* nz/ >؊8L 1 HOL-Hoare_Parallel   T:ÈTJygZ9 5K͢7b(Rl(+>$[8CJ+%Y;3KuJ{I٩敚FA˯zZk=[08L٪隘F_[HTbIJ|)ԞB#_\ٜfӊQ9ҷ-Zr"G8B $%R{`ф?H?-3JГMryrd<|`eOărD#SU!B5hxoM3}sO5Y)펓ߗS$,珬iOՒ\>!W`[<Q#:뉏dx]\38Λf̀V}d'U,}DT؟$J?I#[7ҝm 3dXi-xVRq)%} $Gr3mnQ@M ~uT{|12'iU3: d쎕̤|7 5uwT2B5ͬ2gc+tںXA|A+B>6u$c3 %%~YSwۧS^]<e GR,6>i Z7:YSۯfú'i፰ǎJ9ǤܢB%=eR_(`_Ꝫ_uxnxb6ib8|E_ۨQ4 `Pn"a(${\-R~S(G~1p?qG*d.Q/?oqB5hYc$XĤ\)#13.xd-nݖ~L(2;jY({%uYbk.&CZO^)rY8$`tHjd밻~K[uRw{ }0!kboD93zb`b J\zkן,~bNגXۙ[ݎM0Ue֡C[Þ6KA{ _ nDopTeX!!I hi'`"ӟ7_6Fp^ PEX51*-[֯%6z9~`[>lsxXҷ_qJntœ#{w×D(e)2ȼO~PƹAI1E">1;=O/\IS5}c5\EhHXQGoMXjZ8T\+dNFӝP&R; iM5Q6઀KD6qCpȽ^7 3ֵƹj:F-]խȀqԛURG$ɬH@¹:B8'qZIz mU2v:7JUEFo G-Qk#Qo!>'WиΛZ<7-5ol_e[%?"$IP48 wHhɄTv]pN:U]q?LF7l Ȅf8Ta@yٰX#*F8UoڒRM??qIYpA.0xϲ WN`ս Hy6ˆ[~) R-4&{v+ePgC\k;P^LQ{.8_hb/&Ng>sʫbkBwPr6܍ٽndt D{Uƍpq"g>hg:%ʓtNJ\XŌ?S׉_`bAkJk[`"ʀ/hb7V0vĉq5A@}9X9^ch;j SbP1*_֐lF{evdf'찀0~L5"`0N j\mKbwTw D bS愀/ŏ"i<*S }%7nL9x6/ ,i4W3Iԉwv;Pqd"]К>(GLMY5LM̬_*v;ﻊh9ܸ:TЦ yN .Q+AN(djpZtխጣ0odJ+@qcM &,z1q!AMl)H`LD0D)V: >/g Q#ru7b }^Kl¦Kp4>%k,KGi]dD!]WQHZSZA&CuuFdRwz*6?-s ?Qs ґM{ӾLΈ;I^ fQ8j t1[ejGay_R.?/];zR6Br~ ;*G }̮WyQA*’s~#Em8p 4y)Ѓ{cIu[+M em}tqSkK|묨o_ xѯ)85I+s &WQ&FĂA +cJxf"Ɏj &/y(Id6R%;ޜtCYwޙvI ew]s_*_hd\e|wg]>d& t o{uj䘁ֲÌ9%tLd}i|( >ϊ8sn9!7sY1!V+ G }Z$PXRD#|%(f+UOKSҁ6>EcWD$Fp.x+V"_ ҄h"'V斪WRd)#$:vnUͮ"X- ;7H Y80{0( ^N0?㩚et^H~~*hL܄qF39KlvI33c3Dx۴ Z,ыg?RUSzkW~qN]yQ}Zp}-d)#'`dCeu0j/rG|CR5jӊnMT^lMW >a ͅ>dzFa$zӥ ]o#4gh62t27fŭ!kLN$tB5}C9;JWsfmFv}R#4䓭^%-#9 3vd.ϒSoWp2uD5 1D2%Nz?r%Vp>`eq'L5AM3#KGlbc4Нb#ObɨPZў_喛C,:gz jlU̴>񤭽1 Euš -Zfv' ۱} ZHP23v]V͒6s8=AsYuT7^q#.A˯)QU*2kBoeg;W+`d <^hz.[SFOEz5AZ'౧c6ޅNʁDrG HLc ֶ߅L)jv%VTIHU^4{.*3^b#g^c/qy@'db鸗^O4 N1SgTǯu6 ڱ4iNf;h4Jj*PH{%?MLzღs;tcml@;rur\q;1s욂 ZQQ*[83l`akuBlB |^gpPQ+$FҔ3k=rs+d>? (%&&;2IuPߠT/5:kąSg#k@.AnCȟ4ABglP!9-GRn.a/D>TXshc|N}X6T`.ښnqb3mpǚ=h);wʘ*1efqỳ\,WT` BujC)T+tPV[Oԁ>{=p*ipNճYq ld)R|3L^b 4@yL.9kg WKy$#'5Bv%<;BhAU(Rir:^(r"~M8ޣJ 2DR78_I.Vm5wnRƇrJ>#)vOAkk:_@G ȵL궚?`!$Нc}uVѺ[a*i(t%I+bO.x} ڀֺwB!rǡG#ru2mq#TTǨ⃕q"u o?(Ne+hX\}ldէ"حp闵IrwL|![" ]D\3s΢)VM̎pΩ0ΔD)#={b ё3q:t$Y뫆#803p(J ]0K&ۑ1«=+Eq|} m mb=#p2f~(6]EMN u~rJSZf ; e>V؀gPwë\Su,.۪FWV򴊝 &?e$仈fb[оԒpt@պt)9Bm広RVE=ƨ^2pKs-" pՐUe?Rkyz#;mK>b(<{;bDOH _h Eˮ5  F\SHa] AQwҞqr )f'oA _zq-FG$ϸi}-*ZY$϶(Ҽ|T%}̃l.qt(CD|jLF#R_L'QHM4 bYD;m"y Y\˺lo:vmMr+%+b┄Sަ(qK\jJ:!crd_t 13l5㣺UUx2z;/6~7~&1( WDUo3Q,A6Ps ?!uINe@ ݍh^ (޾3!Ga?Z9$PnJ2xt᢮Ju,Ѐ;fjU:4`G-?I{G1'|sh./om-,~ {r[]գ3zUoJ}|IZBi%+yjYbԉr3 AlV! :UO)I`~ۜRwV"ͥv9!q ]J!&7#2G?rj6ˊ=- p~#pp+$=>ti=e{{ _(^,x$kك-)8>X÷V7kn"#LK[osx8VѼϙ5, oZsxS}/ uW޲R;Q3!79F:[ l)~(F9,r3w:V஧1Tx<͉n-3 ϐE7 L3 Q7!鉎e Cb}wQ BEYQ!4ޚj=v~(QAbsoZbeC>5]dm2EW /ؙ<śe8XH/o@B$<-vʖśGRFfNwfk.T9Z}We*@I&) -g5Dw~ \|PIDM4Zy94DkFez͞_b&\I[+Xb#zla&_K^VAoSF0lom0^4rX QǚDkmZ#:ɍ YQKǾt2uu-NHQ6^cb@OeZ#ICe MA '6bZkQUiw*x܀fk^$y!Qs-/*$_"-1?V(77ez7=4*|;z-DvmןR$]Q HTQDUJ,KdCҏ>{ZpGZo'xۘ"BvĐIn9 eW„陰tܫ|o-",7t;Nm>^Ǥ ; =L彀RA_{TxȜ'O/M tCzJ8UZl7m[D9<'rXf^䙎bqj@'rZ@#3 rT( q'\ fjDGːj/W.&:?\bk\X0@nĔS 1/m_^,P P&ۄ0;jr̹&7ɛr֮4_ě8 /XZ`@Tན~gQ%CR֡9G_谈[n`XxB.z}` d˴ G,[jwgrq'z+nJ sDŽkn2b2G㼏n0٤5fB փpL'&EƸ=WQNU_c^ɵqrcV iUZR}a$]N{7dXZoE'J>7_*gP“B$"MG8z4Nɣ2E1}'z_g1w)FzTxDW'X{Ra9viɨLl  2oY87`&GʫYCi 8Yi$lZEj:@54]jobtȡ&}D19f٩M^XV8`t V)/B} orDmʼJhZ{|_)whSҾK.aj5OIZcJZ ( Lh$Eʾ~Z$-ўy]nyw5 c PC99ʵP_eޞh(vgZ ҹ[͑n.t@CJmy裊*bA|uÄ]C⛹>B]urMKؿe~T"?pNt.pJOܿBoB?ʔcwNN[Գ ~ji'a-ykj>_YQX+URwҽqKz]!uբNxR lMnms[6~LX@ܪyݻ#Vbo} &BP1( N06m`D^c&uҀ _:)cn le'EeHTb3tI֯)Ax{U|[K3Վ1Kj(e4b4gѼbpܐ߷z"^_pg?X&bi7WP0,X^# >2ȵ<q_hOFւ7h Aױ7wpY58xl#G hv!=]–yܬo)n|Yn6eV)>#{ZfNgSK\&EEdAsYlI:WܺTqi#07KUd@!b'O`u 6$IG{(p"K4M9k0;mrkiP‹NNJBawGֽX`m+npb*4^3uL.$o³B">eEe>D/.Va(SX< G|;="<9Q==oC*'6IpkE/@iZ9dQX''9: vVv㩿%/?րӼ(4 iw݌ug)IJW;[M)8W yw*'7f 1OcFsm8@LZ]*db80rBE?Ohn%s `4ܪ9LJKP/QX /Dypߣ*zY$ah%V>f%02A;[F/N\!A`aU⡫ (;`T?,ԔythFrhl#Mj3ɋxN"p>>X#UGNR;`E]O+13&kpٞ>MpH$5 inK*i<`J6.j`4|:F(3Z5W>"KiFVS`k&m6_vXFt /[}K]+1#i`Q Zg-}qG|lNHEeK5gv1IZE[zcQCh"8\T@"оءkBUG?Ay-f&`1=(X=(ٽfj|*5c0J=qbrMլD eH&0/C|+ ?&h`_PzIZLe '~.v@ȯ*$>Gy NLf>$uvxyyROt Qv( $6Ҍ2"DA_xp wo2Ha`6N4,ϻ==_$W>yZ9$fE dey΢&0n,"&K!9svk1& 2r$fDT>ί Ԟx%ZOb.MLT d~ǁC)7GC4?vH:㢡%[*7wucaYhqB;'lMbPS .cd 6XF޲@"*d(} +-jH4:oo8A_0c 6oAN!\ȤU ޖ6ZD@K<79 7M`nXdNWD*htA3(or?[L4Aq퉳=uX&\P+u1YʝqaiiP 'Ԛz Saj a~t)k I7k?x c|=V.a:gB:C/amoHQSIlF{ΰWnΑR_ƞ}9י51d >,[)}C;Y+9$ZZ]8mڗ;aX~ .`eaIț&I\Bwm$hbQpP^Ln &p˫.풫a8_p@aR?,.mhQ !ᲃl_5፟[2v&`ޢ@!:9L{eKx܏ȮQO^bj`;YM n }9eYѲyf(1A[WhnhB+^ӆ!dX] 䁎Ilaw^q(ҥABZz a{tY ?=/gWv=Iѯ{P[Jq/dR:n{A~ޑK[B X"%.0e)ᰉwO\F_N3wTQ{ċ fKM_P!=%-Mw5*SƧ7qޘɭ%>I|`B>Vv. .I'dĭDO KR[w_Q/IEsVQ.EwJA)1,䮄[c4;L qii/1E | 휗?c ̎{to9>%XcO+N$xTa/ ƃU-W]SNW#6z6Q(սsDz^LR.Su{T6A4.A{.7H"Eb7w0N_$Zט*lTT uM%Z&~ڬ`bq. voea.U$x2;9uڥ!#-0su\dQj#l9܏[2К7MBe[A^`X#P"n p9β6'u0hNPVgSXy-jdd7& ?}5e.c+ Hk_|(^cZӏQG]) xGyZR]{?luo>x+B{$F_L]s>PgڭUNi/e&]uMe.vxghVd<,d,$R}%}<)O9QHlwˌ x2p=_L.Ah??J(z?f`>BkfQ4x>R^pp$A;'mzlD,u,ԇi No+ɼNfJ KYG`#J*¡5Etܘg}%\7 u33!3Ps7ԆOJ!&Kƾ?r \c3G|L%@9~jnZ^1ɲc>{+ܠWaȇ#$(9*1-Eǒ6iU-Tn.u=wBY7l_UV\f![18" %s>UN Oo1)_Ɯ02;(;;k<>yg-1pǤ_[',TBQ6wPMr{ uXEEK1>Z&:.Q94/GEopiyR6,f·r,=Td|80d6J3Ve_8 kcw{'ЭJѫ4VP4McR×13&(eɈ&5g qc%{"vn"oBU 5c*-[_ \Rj6uN4siܙnbĉrc_(&02=>VFJQ9 3 ғZ_(֥c 0dMs?Š`F9jI~fHqc.kJ` j Kje=oXjm֏`[h<<>G3IظEUSU-8u x19B`F.jriEBTvzÇh\HC#EV폦W5SE@E0LmwL#}B1*: iϷA3DT8@i)widȽ'&tUC=AVk!+ \aY@ggsȒGHM=RhqQ< Cj2UÃ( Ռnn ǙE8`jZTqItj 䏆zHYnTf>@+Z0ZlgJK|z0-n%·nxpr/ISɾ[o׊,gr230d(.?hG[=ϤJ^Ev{,$@;9Q4c_a6lf= ׍03jy0q$vdz-{{dA $ٍq=O CY8dwiLu؝z<]/Leqχ ZeD8jjh¢ƒTv+ToP#VGR;:WM_ٍ\w4u89e2KhdJ~=Am A璵3^i e f[j޼>-zVP3r;@8}T^esdvR7M_VntSqɕU֙imD>}r_eLStPctGִP)"{Of{hF>!2@ !@a5ntHϴs2NHaukEano({oY,7E:aԸ0hj >:[V~*b8A#Y`t̃3y1p<"F.oV&ᘒmW#.q?NE*ve%l)6^ ^"Y"31 CCJ@-/<}A<` NЮ%rכҠ"$(3/h wy#} ZΞf3kY1ЂDYO-Wѻ~\:)߼Q;mK0Z {wWNX~iJd7;vV]X,^$M*=! IXburɉ^'q-D !Dw쓊*{G7}u↺Yh.tF1c$| @klPxŜ9M,*rKO22rN~`YQ(0(qªeӶqYTv}-3ª#gTc>!3(!0;O |^|,G#m%7D&!zY%tq!vA[o V{XږOɳ^11O|2 3j+Ms L"C oHHJ3V&q2bU8 6x[#`ńCXUed `8ؗJV7p Xբx,_эnVIMf^H(seoll: WPQ2hM( u}" GTF13+3# y6p̱bdt[DuD4 ( P]}UcrCO O\;Ңp[bwd[?A'tϭ}4/{ЏtmbToo7 C~x,%ezhmB?VTw]2Sn$EX lil;=C#:H##B(_{ 'e&+4/i8N/ ɴПuqFj@ f]7cA!W^`a9!Aİ $)狻z;InJ;sۀtӷn&G>GSHZ]YλmD̋ %3')mHLNd)M'B0HvX^\(Խ}\/X[T0D9oh0j*{[k})xrFR\HEq84Y;@r ŒCF<|hjd]+S=[q1 +p)"63{2X,ި(q* RY< RPAH[Te\X^RN%zogsh!mY]nNDJ-O*+y~1D>$_!7e5gВr`Z /%,8 a%>/J21 zOS-bBN #$(X) UNPEҕ C:.I7ZHxY7ԝ 8!@/: F]Q.f+:j=sir{֡=++^3 MqF)Z#^4b͕`L^QmǪog+dk{uQ %?~# oшG埡+JvjBwU1-m;^Rr5҄d߅ .W7x0#O~|I6l6SWIs)eoKOWn TC!ta;@HN]\c-0nd]1ƐJu*=xftΗB!%> nU̕]1YZj}OC,Tܚ1J}lsm0o̻|[ 2&;fd#CI>ohPUENjA#3vuDFX-#b-TP@fzVY,j;Do^Q63;B1BgE>˼ 9쐖xH m$"Pp1+iTA;΁Y3[TĔhE~ώlÀTe&qE9S*Pf0mt[a f| At_42I)PCu exHX ~`:2 IJK<HRGsߗɆ2GT1a E.ooR~+M67QhDj~dW 7yFrn&"j(O͘B,CQIcnrZ`M"r +E([q>U \; b¿Lؙ.t A^Fp%CR,"ͤi9ϙO<vw RŇP< W(##g3 M^70E͠zM*9[xȷ.R) "V `2PY&?ςI\08JM]4W5m8FrܺV_L>bEX(EbgB%cp\_ xhljԲKNz)8jk,>l=.`]9)@Fb(gJ9oaX^Àɝ\~}y犷k5Rhw! v%9CiH/kc. |`QsiKV|UW0YV⁘RW2b1Xq0J 2w^wM$R<\z.icqy>a׬6ћG/C?I_Ae>ƷܴuY^,Xc.QQ>v-3ISUSj90ML'!wm,2M!S"xxϓȒ$Iʩ[~@ƀJ*7sSË͞έMT[f.A;3rxLxnm(uMo wy7H_U$0d@hQ`o*UwxBxe7YZwrJUnzMDTm^SMm#<A1}$*帽 㟌~x4kiCء%t[JosÎJ6zrYPFRjuVz:p[AqBCےPvr=WSaA}/ 6?lw2#-3eDEFm,O g!V2x^Pǘ VN\+$ХЩM:ޯ.t'gwzDf@=*1!3 bQ1YҒy1$xwyRmS877c#96ݴАv2jSAru"+; ^Sy-*t wĕ4[ދb˽樢Fwk@ ٲGFO%HWofԼQtp$FurZSj#O\Bd_Q̰oJ_ޭ$~Qaa{[Uv^ƟR&̹J9{fϽH* VO C NNr Cǽ'"ev:O #WUGen+u{n-psL?D0HGՕhәxG=xTbDuܙM (Qb"x? ?LyQApraZSM$֑$ޙ)k zy_k# ׌f8; R, t #F#2=ۄhYE- )Fݨ4ʓYۘ3zèOOy>|3d#0fkٙK `^y H_8 nUn<;I "rj҉VdcYx!?i}delne>&=* 樂%¨ګR`&MW=cӄM!y"/DCߢzTU]ٓ$,侄xU8W Mj)Vnf|O݁B^nv(Kvt'$'Q1KK\8ht$e0Wx \CW)kNx"Ss{1 ^V @},E>HAuIh%oBmjgi|_vm2^ڮX|'hbUK;dp lcQ X(lo㛴Պmz):ƬXjNֈfqzK/5U$d3=c)xvky o{uW:k'l m1"54<52"0@0r!(le6]%6zq]E8;O} q3(ᓾ :IL;+583 5&/Ľ#yҥVpcE3hKѽEͫ_țg aA^hgk4," I/k0#qY^':vpEW<@d'p~gb(o]z[eX%00) ֞IRZՔ}u}^ohctkqFقGF7_*<ϲ^LpsҮjVıӰ/} m"]({/fGk,Z-gY[@Xu-zr/d:n#aT+ze8p{(X˷6 g+j: Q# uǼr`M TN֘%׵WE;::M*%On`nUD `hD({mׁՑ\wY8/|tlWGyxs< ̋ٔX%o *) C ',.u@ϯ=:uCSL% 7H=FXSc4}p,UjvbI\dr=).,ʿzгZ? ٜPbc}>)+u]@Yʁ'q~Y\!=ӫU?ˇ G?O,s91E[5s" QgBzL.,??8.&Pu7Qpу$ŗaHbrhUu>?x{:IXTK>;flƜZ7[ɌH}3%vgc#zt!Z0Xu)"cq!p 0ē]E|J΋?jm4{qzS+Kב}Τp|N/}.7e]@ʀ,o:eM) -mvdHU`fTc >a""-C5qt>H=7[mSdooU#D>\2dx}iWoPVkӇvESVd`SmS@G^a5ڡtR^GErFwe8-,C^9.0HF0˝su%Fl eXsQexh#7dZyY`ݴFaFIBnxvX(˕ːwF1Nlf70 ft^B%>Û6b¨}l+,u$KORykH=[3 WH+?&h+UXp@Ir7 HmP@_HKFZŎ Ŏf9gw6`&CX;'._H(~ T,r~_^}"'&H\TR$W.  v^GX~P쩫 $QS+I^{6z-J6-LIX/Qsa.׈ 0.VQ.b #44> -u*cԯxiN~i9v98~m5vPIm\iWݫ ϑ{ ?yPEE*<-B"s^ !aU[~.;K(h)q8?8gD#pʯ7ȟ!dr5-qvu/iT92 ,!dy TҤ|ěB&?4 6J~}6$ݗ3ftƒn (Њ%Pۄ.Bʲ9Ii{i`jEWr#[x^ \ڛp!ǯi7^m- F BB2΢O3v<6zLztpol> ݯFM\"M=fͿn !eIPkA*$' ]"Lz(̀7Fd:ݚՇ֩C_RrB$93 %o:(Mۢqn,0LQw37u,!(.JD&.>sAkN+#;'o ~bl~ ƶZ68lh8b/Nܾ9'G\18vSuw!\uRD#^b8UAmü[R_>٠ HơLMG61%3 UQ5_.I @2:dNHQ ࠦY&m,y͓Fa^3n5 jwam+{ 6"IFBVv;m(fV\m8,tef-!9o jH.{dhJB5_˪D`c8YF2#˛jP3AڗЉ$s^n6.N%^vbe%,F;D)'PUoQ$s7Azy;e rݰ/1.>K;Kuxl)rbCS+fT| *ms`%y:@Rt*70^ SF CUB[xO`8,;*ejS{e(? xF\8dXF9,Ə6#[Cʣ˽XI}@T?cue!Gkj(g?`Wɡ\uyDŰʆ?8Y;˥ǧ0;˦Vі7},Ibճi!sLƧCP^YUg7%)!,:.U#ic*LPCq8`/(d_y=;#gn6*3&͸75.!˲-/if 6;܃>5֋Ʒ/-kK% :&smq3{l\QIŞ4$GrgL18|@$%C^EHMS[X*8eE_VFR%T̄9J5h_wD fLJoonV`0F2v\7qЖ%p2O#4ߜOݷ{5`\tǩ3!?tr±dPȕ8|9 QѶ}u!:/WJZim=l^,,tJ. N3mAҫ5W<[0yU|u@>aUx-cTB7L<ڝ,ouqi)L {N' Ycp )&kj?.34 !z1g)'LW’IC3s{EsTCO2˝iڪ`0UHɤ4qB>K uܜaYOٖ5RhxiH~JD7D͝9jֈ痁P%|Hfz0[W2^ ?(̥puTN6(~ 7m3]`&* k.wIo C ,wNAs$e2h}đ!2|\]/h2 +A }:R+yx;5]#:CEBV:(E`-ٳq5r0EaϜإ:io-6C vYy>JDr4ab4c86~ʣ> ! C!JI$V5Jl2=?7&Ӡeq3`sa7\0|c;抒gdc!?ǠlW_h^פ;zo-`. )mCş_u.lBqK`U|}}8; ۶a@;EVY5Ƭ3j["q_HqNa.u0ۆOAƀo ޾~%=ZJz|,OYL"qdV3, ]amBlIr+P,3 AZ t' (}=@īɚxOɐ@;syg;`fZFA¯~5*]7r+"D/m7 Gy tKǔR"tja IP* hcq9oNPH'/VkGTJTb^ے]7gm U3!H@syoՏ~SC6h^R4GK= Y8,:EI_Jo;ZQ rh;ak?nE$4Ȗ++D5_5j[L ~fd&(+}' wv])AG"H]h䪴C.A 1@ ^+06@]xgS*tjS8P?J@;CPPUfFhʁkfIͪ= %(8~bTB!v2ܤ*\`l<$}@ܸT"zt2G6 roЫotg-q#`ze:\|W{q?M0<!Bym>U?=h[ mt(NSg}̭" ȋf_鎉G|Xr1%,$'MqO.99&=@@yV0q#0Ee_f1WӫpV%Q/L*{"7.tcpI{ܨL*?]%xa"˛7~[ ~A 5Dj=!@׉,:v$ȼҸ j<>@pXf;Bf `2>]oqJV/<*,!K`Z/1E7ׄ'kgWf%Ut6'n] VoIQ3K«XNrD|vB󒐩YɅhiNnռgYRv6o!^ #DaL}8` 5nЄ!C]ԒB0%ɘ ~5`c_>)V*W!c9g^ $7Ճ86+:Ws08Wе@I ˕BPܗ^77cuŌ sbH`+Ҏz%Y܋i@Fs2t"KskGOue^HtL_ 7D. H.2|tgm@Фzu(o>c|o6 _vz\QǛt"!}G7.]R huDWWc~WWK"%"CrpYFCpÓSaWŒHL'}.u\KC/jhVrgMz1+XAϦ/ܡ ѪdijI, B2ԶF? DQmumU DxKk䦍 jdiaegiWcJp84YL+cl( 02Yq= QpCUp^Wl9H}C!盇]2`}ic\o`j&ᡬE(%&4Jiڢ80ZvXv}|~6%2!m1 HϺKf!ǝ5ZGp]SgSY֟a> ϞH|7}'*}(a mO0qL0* 7g_Rtbt 'kEXr m 6;UZa uH&|}Bvgnj2q$!1nr9пa.웳^vzRDžSrc5X+dX9=;Wn:B D>6b˒=KIW@DEt`FzLY˩lދ #KC2L=4#ȥx1$<0C'b`-{}^#\ؖ:YBt8Q16J|y:2 2%6l"?f[΢^XBOoC1Dg*. Ff \Ő*[g<^*!z֡%"{Fէ{g.V ˋTS ;67?vM._$zVIt 8&>v J)fI"HL1 ~;7lZ9mS):%AÐ.b4eZ9{w}[Zgtb^]CWژ zZXaCԙG|'5]pi41)a&$m}# "$&й(Mu"HcRY<^j~ F!wܢAθt.,`Y!]Z1̜C}O^7s*ODUGhO#i0 X8uT"xF D[;- 秪l<@.mвh4QyHl~xfUؗo'(i`c!PEPB5UMv"`o/)DuoͅN Wѝ/e^rUA?1z@VL(MyLGb8=P9fӧ^UqfTv~0O&iy`'1 %ry7RPSeڏ$2;dPuY;@Ib.-}h"P&}y]􄊒 c 69ŕ|Rr11KDO92$!)OC%?{(O138in*쿎~ywQ$/h@ (ʶɫ$8#.?_!#K6ʨ;I5-ZKL:R0l"\D 16_HҪɳ͡C;5(s;MVTߔ#ӫvbmG) G@p O&z:i[&z 6GՄ 2nhuT&`!Ħx-?ET>ឡ[x}Pikl)Z-fV{|YZPps.v=ei]R{}Jht|;O!y'*MQ,'a704F:8pSb.nmy`YA#4 9 D 2YB}-?7$m Ԅ9NH,ɧ̷*rt<}e@1M0.7G - ~!n&ݡzK|_&x:dD`rsTn! K]%/Nis ;s""jZ+ȚX@Rc,KتJH'sMBMS:[ t2T|ҶNu% *X&m:<ʳ*Ss_C)0+0_}%>T-K ">bT6pS|p:8˟9_MHF3@TC7;2qv>%LIQܟrw$|e䝷?cѐL?6 ?[{ \szn fj@N+꬗Mr3GO n5HZ˥H]\\~ #^,krkIZrRHh%:גC |~ w;pr<eŻ>OG^AD}zj$%_M&Zk1g'CH^Ne^ELVtÉFIѢH`4A-J[1f_XaCԱ0qю62d>H_}ier%o⚃tpl~qN`j%#3 E/HՆ. %LA@_Su*xU-*9^D#ZqT>h-O\J,.`˲3UOMdC)8"Xt=$A/nk sf>>|LL`$ $9؄mAl*hZv17$"rr~!|'6mθvAJz ˝ܩjrP^3B%&O1I+ jdH*ʙEd` 瀃fS̥]S^w^> բ';Iv_hˎR$bJa'WJS6ļ jsE(I[WIԋykŌ4^|3Ǎ$X& FsG%rUj}wp>(Z tkgޣSm5'C 4=SDwN+ N?WEȵ_oޠnOD(2=SΆq9Q؄ .b|"UJ w)Om֋_B͉ L,yڡƂ `~sr&vzA@ȘoNZ28h*<yna[)1l;d" q :{"=r> }%d;IVn˱z'cYA՝JIn~㵑c8~3oi-@+ KNb[8+ #LY$b:4Yjs*88ZOr p ,Ŕڰjm}R증pe-7z7' =Xh qiwHV$3$Ph1#H-#eЙ#aj1rͫOQ(!t( 3,[AT' WzfmR|MɄX~^!d\C4D!ۋM@Pl2(n]p ~K$Qyn}s\cWu"ƒ?E3hAIul ge@a\ ۋ L.2VKѯ3z) []OBz 9N.j9/tRZnˉpގz>LlB7V/=qb>FPoiR! [U%`pG3aFa =gxe~1#-Mlκ1j1hHڇWY!nyU\P/,}XcMNDB 1t[{f(cҁI2̛)>ݗrQ̕\$y|xUN~'vɸàߟMl-<5nE(FaDf%t*EK[PRYYMPy,i+Ҍf#xN\?T=AϏ> 1XiJT8$f*k?Y*%Aԇ3w2Us$ X+96eP^h~>}GG=IF2~#h[cs9+-B&? OlX4SF?ޓu3_@DJ#?噌n}Q50NebR(QKDLۿgI&`uQ~ҘnzFm)H[/=ЀYMa#5 4V?R1p܉vh#?l^׮'JYM>Fr4΅ 𗅇oN:K7 #]_X1L-̃/`m`&3O:?FW:OA[nPg{i|X2JlנR6"w@*3=QfNK\r:{%f|ڦGrKrk_#,-[ (+({ee5E>bb% t,"= ֵWPZ 8QIiM %;UsrS̭m;sC+S鉚rWZS8[E|`ҁP,qX#>B1AhVҒ6-׉O]vV@4z)X!p8[\Av qLi]Rٝux Qh YpXh!1.rzZ@/}~pyM{nMvbCM.2f1O;M|%wxs]vݹ h# &b#6*^1Dr]K tAC/%(cIp(hHfU|1ʠk\L)c\PG2w\=OQ&UD9?E-[2M 7!./ T͉x`tKW+.c#->zX3s[ID#/c@ J`?'wYJf}fj+0pvW.#58?94j=wBL|1~e*1toɧZz1&R`*w]` e\iUR1[>k1[%^`1*2|%ZN EӸ=  )gB݈ٔ,;~04(YOM?Eilܡ^~X9!% ʘԇ#Aݟhw~l秣Z!*LIJRC+>b Jޘge7@ _S)uiɾ3 .m?bkXߑV8VE+ȳ@՚|jBT~AT<g IG* +Xf LHdNL\YdⰄp8l6uOa`vk]# y h=G Be!k; GF: :iL%4UĢ+rѻ 3F s_i{Ɋ+"Nhi{7{FQCLT-+$ ySK*C\qք_!$ga\7\QEQC,pN?jD pd] ֫"+[Ѯ,>ls kF;A? y\廊˔9wTFN.87LW"hjjL|Jä́eCEtP5t0,9'ĹEĹ,jRzDlЧ,|K;@D(ů ,ߜ**7z`FGЧ,6cbp?A-G thF/'V~c>2=6;E7lF#ᓧ=UC yya3M?Yҕb ~ gB;2"8=mf'~i|U5:zYU g^.]lu)z}cN)ڜbpY1·շQG2g$Ira|~i?j~# ! R5!W'ٲ&igbx(uѭ4.0]LzdsɲY %'4P!jPq>u4\Zǃcm7ƙ}`xNVCt7m%Ɓ>ď:Sh\)7 4OYpY qrDY>P%Mb[E^ c-{?Sfoỉ̀a-ډs.i3蟟 OuZ{J"m$mӵ4ձZgB>aSF_([#"#;1G aO{{jeDS@K񼀡ə1dZk)y!Mv 2oBTцD?oXC}m).g TTCMKCf{iPGc`eIE)t,,t0CSJBa5md̏ؼ}S>;s˗wptuoHwN Ãv-;?Q=|ӥabrWmݥU'Nu7'$~HQM30bq ESD%?NltW1(eNd?>@49j]!ٴ7!%# ^ 0 :ȢN uz6YJd^ڥ;HZ ^r^R!jrTf&מk2&f.=i{*Cq\<4L/0<2 CPV^W,m{Ik2C- `;Q(F5@T\%t٤tn&KW+&j0Tgzɨwz~nr ewDi2>JdL.2} n2V[F;ٹ-J+)* +Qí&3ɇ8V0ʐL {P4ACVlʎI&dd"Pd[ާ}4m2_!?ԛw;4tgAӑAqǥkNB$_eet~Z㹆f'a`vSr5ufTs1g-hb!1Qv_.Z8xAY$D8U.i)9)`!G6&x2ex SY(ޢaoɲOHd( HYs >ХZ@>WCϑHuG#|%?vN|X;tlž' W)!|c<pf%D& Ǜ`iAș_fjl(9P/Zi~*ΉHQ5|siPt3~$w&.N?=kl|#0пwLJŅb2uhGu];Uxv4`@ShRYi&.'4CלQzI8,ǫOKK[ߡQĖ#eH'SÊG*z ]{tsM=n>TK΄*M` F +㉮yz!kĦ JM `um7I*u6gv+/_ +jT/f0\KEPeD 4ѭ'h_~ ?8"':4&t-]@kWR [ѩCL)֋ o؎q4s&G`qorv߷Akq2+CB !%T} P_S,,bT+s~(97|ܩWػLRcG]{%ʵ1׍{L|>LOt 8c΀`4_)V 6v?k>r5L 7ee{jFV>XjwB5C&`2,$8_YvY?T%e31 Qp4XF]wA4rY$ M^ª(㐣̭fp)W͔ƌ_/˩ƙ]瀐wq+_+;1̗]X Ҳ/hh;Pp,h!:LLworW r(!:W鈢тq\{lJmcb6Eq{dr90'Z"Πy\0ԕ1IѾVH]Sэa^z+L8vVWrw+ǒR-D5^t| \>/1#EwuJ8I(3'! kߌUcɁ;\ݵ^u hVh)o{ђ *gndXqABgi IPiF&ㆂeH^I^K~qydd+)<ߔ8 M/ xw)QRfljHן`)aTTz6&>@t ZtܴY#poC֩鶱W7Z}hǰ(a)閇s4 g+̜[s ݌ըǻ }vZ&)]ߋ6e0AoېG߀c(2ҁ3'"]^ z9*ֽkՑ:hXݳj~VoM<1n:ƋxIQ"s EMo-.g.@?P#ƉjҬye|#!Ҍ5.նmo./h5O=$"F⸂+rKE.[HY2հ IǺ?OV%ƴ‚*UUrŅQ:zanVsbx_k  S?IPmh]hSjfKVܭ ~a*f==|DrHi{Plt=bЩ8m{li!3'2qh﮵xвE6[|w׭v\5"HJQ=J,ѻg%u`wb|헜&k.|wπz?OS~tV)h;-jQ8@8e8e&n$t NI`]u)a V;^'-.$kJⱗdK Bo8]q'u\xR4hὃ孴#2<Odu)̭ ktA~ cp2J 5740>0rhES"Q/X`h;\5w`xvfjzZ-zi/@j(*,1Iϟ VFPy=%DDfg` 쌱J48~ CtუN7~rT7jLdb|rF-zٛz{Po\kꭕQE)ɐP8 w5 !`+W#!?WᛄQ4Vil2&&k J"Tpg"W-z@IZR;~ 5'WF0(3hp5ȈqBWQƂE;򑉸8{tp1{E5$Sc2wɴGn$/T{K!R5Q8sJ.ZM}EP/v3v  Pq.8Y^>?TzMg yFGh~3Ξr7 x#t$i0hR.+@cHh38&A}v8=Q)]e:F}<`}H#ⴰ8ȃՓ'zf0{ G W~- T[vAIDO ӮOL\/*gprYevJOg(T\NM$~L"O*=M8چkQx{s+٭:OETb+Ͳټpx;m>r!ʐ;<^'B*U 1/ !rF4˰lem;p7E1RA7]X(y]Iܛ^be"4ʙ,<»O^^#(2lmeñ]kp5+վi()9[/G񡍠d.^eE)jӫ3HR4lO|նv4>9λ:IPlAwޜc"_* xDهhy,wp?Er+aۧ-LCȻVQEi&m@!9MvՀo)Qntbԁ M#s[k"cRӅ%fHye պ>`SGjWk,%'c` Iz]VsJ.~G R "0~.n\u ,͔bi@7B}TiO ܰ s@E&P4WP: %[;@29}ۙԿ! ΀0+ezg* wl"@92ASkE' jQ[d͕ )Uث%ȷu}.s(\͘/?tB,]o|kZֽLA}3 >>.P!=߳!y[N)@WA11~fecnn72v H7\CIË) lf(kua uR=|4OhfaUqb$rKJg ]v]mk.+{?k>lG1YK(cR#-Ey)W4Dxym5vp {BscJ챇ŷA!Tc?Z# E5sRDD/N6O+/f|[yT| #?g[:aR"rA]Rz,wGe x[&(:>_!:+Y*>qx>t]1e O;1'G rclIC\hD:7 {V-=r mF 1uFXR.~:؞)"TA!d0Z;ZP?XY^-B=7u {h4)fRg\ S5ʢgTE\wW ?50ڱN+l3L81Nb$N.$dgYZ7zXZִF! O]ŗXiɟ1S:JI 5i;\ŮIQrExjYO#ONf|XW4%qU$ȌnYgZD%hzzsjUN@2$v֫qY^i/)c+|Y`}G!MSZշ+q>F#'yVW zY{C.HnJd1Gp$[]~E>ӘO|E^ipzw}KZyl[K`MOlGֽP_QN +)/`:L-FֺDtBƖ 70gYZ7zXZִF! )s[]ŗXi%L#-kwhT*Z6lz^t BҨZIh X@ո)//R'A^ hOᘴ_mXph s^>t~#: `JF[td#sq/ }(w4p,êyݎ.JCf(G YeEn qHW}}tRHA[:+JqL =seGDSlB?i&a?h/p@W" Vx)fbxKYH=:FS@Eu3ͤc4R -°O, rr.K|;l)CH6Ҙ}.(ܟmDYyXgyϝV%`}TssCL2sIQk=%֙j*"Z!,%H(r% Z$ãPL:'|GcPfPGx󨊚yr N "N.3wVyˇ ciFO讀b'2S+Y[6d!8G--He! ]_u[NJVhrglK3$ɒa?};Z$Gy\ Wݦe:#%[ kй!x5{:hI1-D2 c:-vo/E:5r#iT>)ܤ; Y+zϯ)ߢnۈiB= Sp5_φ3y5 )1ͅ151<CـTEu*Tht݈{د潒m_!@©/U~ʞg7+'5wPlM$j7w˱}YRgՂc U"eo,Tr.s9yqmbHՏ T ڥա\ޠ Qk5]<4 >qVqp[L؎=rKNhS~uML#N󔁭XW _o AZu:xͳjH@.驃S\UN_`-IY~]R!]nB[~|\a_6 ^:Л+Sٍ{2بF9wSqDGmEH[:[+y@OvV/gP9-<[ћN|ةgi2^㷤P[īһ\K6ےV6+ 8h]AOu"L+U'to3u~g٣tv 1'IA738,9\Ʒ6a!PX(>9pigD@N[(ҭCl]+MuϠPɐןwcsI?kB:qtMkPF67fGExNjђ腲 <Zs3 ė9~o eE}i0rUsG4d'W|'VN/nφJ^鐂,LbCDsB%ʼOu{(ɗP#}~֙BA[~Zv1ƪg4c!~.DiXjj!cۇjNSMoSq?]4%HްY]La$a".$s}4MAܖ 9a6jgoey8IH~Alokn '7^7ns{%d?OJ"{x6ث/݀ 'A~N JمNvT"fpfds;/ ࿳KnKX*ìFkKU0olKGig[\%8VATID㷵V+Z,Ӟ.~XCEx>^R93/2E2 *EO M(Ba1*JU~,yvm,⵹;ZM6reIl7.Y뜣4?,ka:R.g^!۱a@q$lȀo;%׼"-?K_I!ň/@ĝ,~.?ޓ^}8C^ U%<(W Z^LN(6 3HONx #z:4G"[05D{:Yjۚahi[s`>62Z佫) V%WdOU uz˩ou ɑ'1KNh* L74O?U;a&q )I|S)UP!:8جrtcbO"*uٙ(\M X|ekrcrz%qjM2I5٘x1Jxa,x9d*ROcVlvO<.' Gbk(VR@;2 =TQ'[l{¥gXp~(*DY>&rWU \/-}S5?LS̫ʅz mo -7?tߥiڶ ;GZI!NAތ:l{_},c0A4u 2~RL$_XY/Ez,Id]B$!I)U^?ߖG"!,9ʦ ۇc3 O5Z7f'8s_opLEVfmziu#$deK6mnΒ( wHlӭ;f4ۣTF@~]h%?2*`Qb>8Ñ5ݛ,jCg%!w %BZPrvjv^IC^1h2Nⵟn"CߩPG9M݆j<֖{={ίsD)s#|:g"ޯ[ grgSQYR+ښRqc9(*b1şV K!7zfV6AЊ:_j8r.fǀsTi؆p?V5f-_I>1}N:J֒y$> Q0\=Wd+0E;sΟ#e h&ɤƿ!`zYZYn5 F@:0^΅KGU"\Wi-b88yVл;q]svD>5I;gOfvl1>̅_av`]{~Y(ּs|zWlP1hچ>wۧ)JwF%B,CI/ON1Y!w;}hk]~).(f1Q^ b`/ލVmCZEY[Dj\N{k6['. R]^RR4EV$ fqjxЩ qk̓MV1R<1 /n= [c_P]tIIUPV$K0B\0m4 "Q߻8T,T`T/+:=0o ^`lI>h89sKuhCbԄUhw ԓlsoESֆis&QOz[%TZBa,Zc# ;8b`v>ȈCЈS$M=tׯdh(g"^Aie ɥm,GQ*p3 7蜁qM! 뮝2|H7.T9y?:(T[eCbHgPe\Szg9R4j`[ L\(&Ѐ ]<dz0bB !Ѵ]+6݊JNߊ]gWg9]YlKE2ndhh$E&%&X.Vx|̀,VP\RڑMLOї,"' G4Zs/"hD48G)KSiS5). zHI!9{ WZ}E>)_; 0|$aqP/.VVgYZ5090a50e03764278f8f59816f03b99e18077b14207893eec13dd609290ead753526cddcabc430222 3d71068ded37e22e7adcd9665120386e15943393