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   D<,t ]S CakeML:threads=4elapsed=393.138cpu=1159.344gc=109.572factor=2.957zXZִF! |V]ŗXf[&CiDu;\#\)E9-Ch{[n&1;ƕ`6HR`$NU5H` Q/mK:sk7VQ~?k~ju P^GT Sސ}OG^X?yu9k0~P#ds1Wwr[{6SPUsD3byL82~Pbm)t|׻9ec, B7 ?5o% <3!F cZJ`-QĭaBzONy|7?xWXJtamc\p%t8:uO @NBK݀^`tR+!yÈHluR |S (L["qx I(ٙu4ws87O)0Lk5MLQՋ\oo*&-sIQ(O,Zȧ0}Z@4Zv C`_zyR/qBT@'`٨DMAʴԱG|V D!W7BB)uwsj+[`0eOlfx gMHUE z5G$ x_qTmI{iѩH]ŔՓד㪘Y6E!TːAY퀱Ih^,Y.hxD{Q)+T[~c ۊ.wVt[Xjjzyԟ. _Z1zTnaf'LHHSfK]'qo6-/⌭pe%.13+?g\T]4fi8co?Dxkl*Z;ȔYZjZa(p!;hPɐt- WAW)mւً8JCDH(f..} 9aSx\%#*VO*FFFH5ʺrYyS-vOkF[g r+h V XX*Rf ޕ2vS`K^ZӤTFtzHv"fţA5K܎|m f`6(=<-# V4W>8a%, d[hQVjWS~w?-SDW9N&X@*( e?LynV\x[p_&w {fuW;DTS ggFx94w>o~EGD7@y|_kd R&LǥŇF6*NU iVݝ?zo+~OۺV K h2ú][~lƒ$O8fKKb(PōpC''I/]XUJ+u,QXC;WZOmp^!`1-%6"j($53yd΀jV "8Pv FzS@T8juς^e=1emWքW~mE /" pv8 E W!ȫXžRc}u.( Z(|2۲-sWZX~,vk3g~8+sJiKY?Btm1͞[ٯA;PoU[e?*S̾uas ׋yQx9t%HF(gU Pq#ܥ}t\eg_Z@Y~W՜6$6#j5XXiH}\sr@CyjyHgi)y?rdͪ D+8)ܫ9OjFG$:ѼsZ8-M8n^\C[YXACkʕ+]mZ̩p{<6(]͍eb֤;dYzJKa(8!>.“gLdk`bbJk.r+<,LΪb޴ |m^pFjJ>Q͏5Z#ěs0QC3aJ V4ԏpvfOL9wZoXǐ8*& K .(0J)5PW6^|ԉOQCṂT'4#24J3%F(Ϸ:3~do:ЁzQn8aA&\jI^*(z#(MD* m=ƛ1pZ9j-]%tޒi?m,(W . K[XĆM{sj+v,FXǝђ(WpfC" [\(-03F1DzO978cXK2~i-B4J}BIȟM/·Z5?lM‰.>Z1@ۮѢA /Vӣs2ZE9s|=Јm㜂9a9"6Ra Jm6.x0if.ޅRԵOnTĒtaKVW⋮%o ) I;Û??}Ke .p.w3h8SƥnwZUh/>6'D oV?SKa,< ~w:RbX|QJ,n}i0][?C6Qs@Fx4hR97IcY1AbUƶP:ّ<-(4+@ײWo nNR鴁'aez6_&Brjm S!C.Xݢ}1N0E +qNqC2*~~kT y51RQ!d5rC0Zkd U[.s2y8Y2I H^ dr#k ^t@ZS-З<):M'F(Gԣ#SydAO雽H4g&s%SwQpIS늂T]h ;ˮWDn=)'S mB][fsKIwT8K+1,%w?ι--`d@rd-~Spg(*u+ <*in1iE5@rg%M -,O2̘7J/< M+C k`J Iݨ?i~RL_L#0׃kŠqCsZHhS"-S;0pn%㍌~Lh'LJ?T WHxSr_sBk]93J6y*uDM%:= Yg8Q$c12/T}ʻ#u ba`$qǜ-I+/T!*׍*1o]oкhxfE?Jc#ۅcQ@&~P,ֵefY| Un$tuO$Pዿ( 24j{_ <* .]߬WX4 dO:MU΃k}wTe>mR7rpE+D,ԳmR Ia WFY29l{y4S=VKL) AKMa0P{)9, ݄d{}k/+J^_,]ZEl"H<+:kB2 .;ƀKIQ t5 QB `1 ?!ctn`iU/MYPA'Iu.K_DqbNteBi ,ߓO(בj7 ]) Q$J\/~Uq19@)..Q /rf6yA{hlP7 9z;>M{Qg&(^Ӝ*9=J*hSa683ǜc{0 /"8ӻ7b|Gz'FM\_S- q_֛zE'便b>\ouhYk>AߜR<ȫ(?} xyEB,^6 SCȂՉ&C (1;ߑܶL~7"dNECJ:G9&s2eD7ϒ=CURei. QD\-0-7JQUPmTgT9ED^WƒVH ?5nM+=b/X0:ܥ$;;Ny;v=D'&3lC8hՐҽү:$ULkX)Y.^":\f3u$!Dzm8) eu/zbs7)זtU[-sdQ̙Zf9;Tu)dnNx<棜yD&MŸ:I6?Ae{x^b[ x7B{`^3$dd3IdAKD0Nh (Ah'lN6ߚs(ISm 5xh&Jfn -; I ?!4s COѨ`LWZ*r|µh76HߥsfI-co+SX6pv1,Z(ɓrRHl@ a=t7( HNc1>.K  ʉu@]:]Rdgf|r|$."Aӈ ^㞿S`+m1אM*Mt)ȱ#L,KYlm0Y \\u`HaJ 4@fq7q|g&+-,8 ̆ƒ~y-DG"`G+mz%Equ{ـSKŠ_}E*Z|,d3bXԅxAv(;x5zi*,.$Bl <"щT2K#- y}&bY%/y6d$>[m"9Vo| ȍZrQbt!]Ii01K zI|uɼ?byCbp)s>qO<BO*u6/sҾ8pY=%RВuw@lЏ yDž^{ͻ`(qln1枝/XېEmm΁#D{q0(pFS~:Fx0x-gYZ7zXZִF! ]ŗXiɟy3 >u{^-@a4!(]%0hh6/YE#nݳ 1åL灔 [ڿ;BY>sNJ/vX  l(Dv\L]n|yi"*@&;{ ۉC`!-0DkqFaqZ`OiushÂ"t:}j@->)w'+)To LP]eyZH?uq)`A{cOs\^KehbO(٠x#QR-(^w =elB^{wdžíUVk;a\ g-IGU{fN{$ x. RbyS}Lbjx;{=zQhg+R# Lޝ(PSu3D pZ NAIq!CRU&QX?M"Y ^g#r`Iŗ\Kݓ/S:pJ[͎el dyENy =˗qz"OXpUU[:y5;fYM/'#?9rqvYl',&b' 81BmX:/wj$;&?KQ)z )(aWG2$ޕ|j8*5,ذX] E=`!):d \PER }03(4<ϸ ʽ4^ .AW 0H4GzE9Dp #N#!qyʽ-NOJ, u62~S 5EU T%ˬ5*d>KU#N(#.j\ٵLp5TZwCS;NufCtǮ$wMXf 9z%;8 3jR0 #h<]?^BA%uǟ 7+c7KMFB-":%p `YFG,d~{ƣ!П/8K㇦àR2]AkAqg`>=&K]wZE[%e²$g]R[n]0y)'uy ~hx=!bnŁZ,of] `L{ɡmZ^6][󈳂W_ *jn-ӿ j}|ފb;)!Ί_w-KH3z~kiMuo>E}"s 1lgYZ7zXZִF! Yur]ŗXi%BKdLo`;c8+uҐˠ`_`%6lUr L 5ׯ۔pK.eĽ ߷׏Sթ,3C^Ly\GЃ/yԙC_3\]gp[>ZdT(5 'rUs+~O*5a^§P 0=4^3oK qg\P s&mnAX,Sk~53(nNM8o9v 1.F#RPv=XQ:!6^sK7{.RHF rU81J[ԈzAq }`F};ݒ &4cgF4-lCx|z+̧* (laqsO MQ?Q,1r~o\/̶$6  My*#jh`[,`QkE[N#m*ƈqv,e?NTooٝ>=N(luзƚ4)4;[k0m;zKDٹ7JZ4׵ouڀ qz8z2PgVb̯wwlJ(`q3_*Nތ 2c늝DX޸qJh:Nl8H0aPwR4*-ɝ؉pR?AG"VuQ/ד @ܾշ[]qhAy>Pfq3L 7j;@Jʮ YKu8k!hӒQI/נ2'lV)9c8+] j(͸WQRHJ}.l[ɘm(dU[k}A"'$tS+<\  rZ-#Hpq&uĹA4uWO kRXwD,0?G<6Zb*>&?聻oKoċ8h|%K |ZRFc=| udsW,a@"tỵ%-Pm r,xL|nRg<(E<E%B¤WA-^~ л0w5nHq ?a]Tёr캣/Mﰳ=\bDNk͢djwZUSH S4sEġc3ބ-8Zla _cO>`ӜOFeF3YOIU?odo6+!ɢZy)YSѷxm'ސg3M$O^W_F(KPJ+(Km,X?i}1e)ǻڱYGbhbV>Cdl -vd4HXĭ0 'Xπ <#qdHE8Ayf "mcAU y Aȋ3a1Ut*VŶN8 jo3H*]F5|$\W'R(TL>l奞RFZEhQ2 ̈x @ӰtNsvSͲ_l".ʛۑA=C6*Cb]JLz*ᠫ٘&tU IhD^-;s=v\\ 4E$N̑4ev`194ذ9D|O2$S^YW&YIfIFk ݼΫXaY$?h/LT]YnՄ&= Ti)鉣E3V6Kdd51j5{h[dOgPtN=-Gg+B3xϸu>5G'9aB>syb*,`]mH?G!0gM;QU9* NE@~ 'c~/yE"]ӓyV/FB^/i!y 'UshϘikXPVIsSyF- r'ʀ0q6+ï-`:ͧ4Uݚ´P1 a3En/y!śI\SakD6-EkDLT_msJOUůܤa4"mJ&PgӷJ"=I `:Xꉾtw߹ k$ܘŴ??+t,|ƀqT饘~u%KhFH5HCP궏s薌ưvjA s%."P/TءDŬXYS(e:zd p.&l- کBi&<CuYR^cѥK mKYo/574&,L { ޖU uyHfbUb!ewL |*/:8 B`2vEl#0, Ս|G =[*mXPA2KlVx;hGQFpfy]/&4a-tHoF|E7 9)%x0s3Ae w#{š{s`3xh}DDZP$oROy|PjuBS =KzD O;&_s{yʖ7s[SDUY X+qܓ?Q>n˟ TdK EbBYm Rwj;[+#"wͳmoh[:f(;Sg/~,J_>sbVbD#['sk.8*+;`F*5z>f9gkwi{_3 v؂YyF"N1ɕ؛ ,O{?5#5H[Ɔk. +J̈́ZQp)Nò20fOc3JՑu6H>5>|WMX 7Wyi vT#=vPF>óR .P(Rre|ᑵg'c_83#YD0f\>Smq3ؚqYWE^0D+U_T͉zDLQNllUG `Vm mQvl1dg;CR)ϨV,0ӽˏ4|I7S2~fs!I/%- ig|AǼV򋣎gsx[-b u]waچ#QG.}!Ufߜ bXWZur|68~ìoaj@&kp_Xr"+O};ezޖ `+RJF˕(ɠ^ܴX!JQ!n<*"^fH+a5a*o؆r3Iq+͈23 ȷyTE؎!2bwxCv7-=sVL؉&3 qOS% ?l8"Fj(n&_m(/s]!\F"nXOEgƌ#)Ңj48{2>A|Ww6zaieVcZ1-vuv3 .e+ԭ6Rg\'yG/tYɔBI*ϣ쉎Q4=X^*?"3NЮחP`a2Mօf[fȅR$ xF5"(HW/lUHz{@(EϖВXIJDmm fNSZ(VGxͺu#E`j/nqV| # XGBU沮6R-WoQ2Us&sSעzɠQ4x :jfi s8WFq'vCm8ۄ} Ʀγ?IGd}h;p-TI Oqg!d|؃{|눜_-VP+HI&):IxVX+YCN3`aQ(<ۢfwiWAn)0:B»̣K)@C>P8?PPя5b\Yj\q]/Y̍' 18B{qcfA=sbCHQbCӗfMbQ:~ KS w(giToh.Q ͹c[oIl͆4:i{#  - ,YگU`yXiFYh 0D2xukôЇZQ,y*ov`h g'W=bUMd=q] }qcZ4tj[[L`n _,2zE΀y&X#$;VjFK ~8+.C8⤣lyGvzO^3:tif5SX5>L9ө,~:19%k k.SrDdn"TpWIxB\`2N9X.4+v ׏2 7[~DP\t5ԩ~ZhI5[}I:@?'>cbtƉo\6VH[!.@,bù4 )4ȒB {m,DK0((qczL$XkWgXGgz"mY6U8&5\8A7ؼjQ+^+X!6_Xد .ZwT:Ʊ=aJ|5=*XAdFNe{VT|-LnvfNiet(oؖiudꃵ,,IJwa'a˖^LJ w ^) #<:6œ ܪ/ %)xT `^ HTb1eٯsۂ1BI!+օdܒ6 ~{L0eUsJx`tWn,?\" .,Tk| Wt0kCDXԳdd\â;A~V6 ~Fyf^A1^ϸ& -X@FL/I!̂ 5w\4W:]kad3既;DR$.9@v>;ϔHD0W((FT?usCu^6'rWCY=XC,0g.24ǍǗE?k1êw[)3V%<"_߭⒢x͔vnNfSMdQKstgG׺[W!_̀K6x>C%y/^$kTÔ8q)p6tkFq3{ҡl^Pjf:?n̴!Y4ϙ(VQ'(o-^ڿ틮# {|[U-IsncPz@Ͳ]WbE>t_S47V "JH&E U;_nI-o2$Ϩ˓bYˆLvi6$ Q:\[/CS.QdX Uzɟ:=v/S:" JIIx vNP((/(05 p>94=AUx`${kfcSsAI5ò^sB8&MXc݌FZ!>tۨΞY0ЮX\[@=Dt(ޱa]GFs iGUhtu!j׌|Φ~$:mA1d993.i v`3B`t#-`<a#@5+\,0k@7 B#+^ ׬iu4tW,%ӵ脳ul5c;{3 |Ci2$%^>S$qDffIWa;Aw|F2{9.N' %j0v,/X3672C]3^2rXG xbs?( j5Ƙm$6ll4R@CSq`o3OOx6Knyksuh1V+6 W|<⎌TFуM};x :6o\Y=oW`TJݙkҗ]9:g#lk㣶a-ng;Լ%5?9hS 4LFkTG\N?S;( .5}{aEd!i!^]-OFE׍J䊸_"y==X; #+1OϫJQwȿٱVȜ8ز"|-.D:qU\(=0_[ufJkQ t?Xil1PO2=G,8T{(YU$Gj> h><æ],TDzᕘt4ZqDLjWdmG_LSrNm*+)d1JT>~Gng{i <w?&XqS#z")sfѐKLMpWnp=*tB-rG .$So;zd&iȑMy ӏѭL mh@1|asks #[Vyb&ESg=rՉi7Ql}7sk -q!@.ՠYʑn9\vmL; FdV'9M9[%-CNiЯJ^i-oaxLIJoQQ4eѽ^qSZb &᷶z>Ki`ʔwυuϦc%$h~;QIPd޵Xߦ zWՅ2=`6mUyd۟od5e '4.r%-6|oa&2ISF-lgk-iajtVuu>  (/er%Mo avr H&*/;oT1VSMfۨ9ib3ldy %IsDqAgXV96{N1 ǏA$juXDQYS/!\<8[-:.۲"9 ]F>zh/ <-UL7 fK<\ 23 p~yhr;şY{jQU鸡!RaiG}L4ř>#,3;=dzW>gʎ_zK8H:wxr=6bICbŞ1Dx(I';Y?:md1j/AhNl4H2f7)!·s)Q[ (\.8 u!]ApPOŒKaqCidBQvR$?9pś@MA+V8IeMYxd{iD^kvӚ]HgL?MfƦU9:06üiVO0 NM Ǡ:(G;H%eĠe.l&-s! t/ENL$v˲y]*ˀWg |ҕ빯 'IN9|hi誠YX +}  %EaSגּfݦ[VKQBIj(@s#sQK -:1^TȨH-xK Eu6zgmt84V%͉Xvz>OSVEI~A3HO%WDPތ!+™=6r!.ȗйD v8J ,JO%7}Tb J ]Q2Ky>&AU݃Ir CK,)a;fnjjȘ4sd4?{Qs~Ϯ%ݙj׌Q n<-W7ڮcL!^v 6p#a(mϒ(uӸ8ZOf`.[=,Ȝ&i(Usȶ0M }׸1^`fy\¶ɏYϯ>dt0 㻱9vc!^!nljs@fw, vYXdDy iAƒi~48q%H %w(?_#OiRQ;i? `;pɂa+c⛓ 9rw)%X@oQ"hJP8OZS\Gq} TivB-ӊVBG0T2% \|/|b+cO>nvdDD%Zpq cJGIP!gWT~H䍪pc3ֻGX4xIpb pW=JpclZBhݧ!@E8a_1!V`~ =X6*3|c(ny IOi'Q@j<~:􂑻ue#)ى/YsymDÁ`wx5X:*Uޓ~Q2 8oP6۩xI¯A|8aTLJO=kA%^h'vSmmjٛ.΀g Щvc5{<'[,Tj!,`89IAmD}Nj6瘌w^Oz?>sP)=",\ɀ`1լ,ğ?md/4tJ";羇tqKGHL: C|+ !-a7pMNVaVcذ̼Doyv٣Ä ޼w0Nt'`oʺٮRjEt Sw~Զ31fpŃEyNqX?^pIW_hɻ ~ ?:y ethwc2ȵT2f|CViKYLGwVAlUB;իfOHq7pi$}ly$h| FZ@ua `!DŽ٭@Sd>\{ )d >{Y?wPr 8)NnJo;0rnﮒ:wT۽Xf݇A–̎ѣCND5L+/]<%8avUZu1٥*KJPX۱]&D-a\5v䀝Enp "dDI!%?ŭ#F$έh X3r5_LuY%'hcgW%WjgHhK(n͠/mݙJ]zI5TL6|NG{3+2]f~"Oa|.%E$ЁYU40hɵHdV {'p+ӣU|nO55U&//e렩4 T>T["oIcbK}oJ?DWcfL@*C-(HF{_ C?xL\ T|xAawmNg hNUo^c2uM ]8}&Bi4~% 1?^X C0V!p1LqG DG|p$&ID 6ysJ՞fWl0-R^\gn8c1,#!%(|Ȇdf dBPZaiWг%k)!p%4Kپgȸ?Ǎhf,5JKAR qIe$Uo'JN8"F\\fDt}.w$ȥa w56󅩢sV#=[g\3O8!v;1->r]h,ߟRd:=QN{prVv*k1wņ0gDU%($U5FL 95{?qdwE`\jْk hV*ڿdJ7[)@)aؾ6'2R)t)#ۈ|{u>E ) fmsGz]VK}O^Xp>{'v֖hu5qJȗ^2ܓ<.4W)Bm:O K&` t<ΒFf28&9YpQ3?UdtmԋyxAO Z7%1v8f8w&N,`A; ZI^Q+/3nP'/{vvh_J2fuyTbYqFL gCc߄oDe&G{N-G huL3w<u9%H_Ukު^:xeAA\qP%i1C=P˥3뼋VC}%S @_hQh}aޅV׮a\t ω5ƭYTqu&N-8픺 wJ-Ju{^2unHmW"'YL hL>E/no%M1fSY|TҎ9`C2 b=nY4, UzhSaRđv`M6LJiwefм( h]@!]JaxUR>w=YڹZPOУ )팔C% : LaWU\hv/ρR'\,CٞZAHfSءi{at7g<%W >Žmi,ȉՊL͐x=&<VSij^F/ P]\~ ˁ@e} #Q-^4CFE B!Ig7,I#!f&Q4\QAaņ4[^$u9.r.-͍߱H#`(LGOJZ,eTSy<;=|&An\SjX"02.㹈i4T&G5>@BVhՒ̬{v+4DZ{0'Ң,!T1Wq@8q*!1.#qXW1 >W/#('[q0*83D~(4|n2 5i)`c_1=yvn s6C} [`P(q퍼Q&|ܔ_>:[??tRjÆrEAD-)ʾ*a>oMsqUq1'ص+He6y~Fg7W+dCJX,.xdH ]fai%_;MR,!ew?2\RT=ddˉw3áL;@<~ԁ>;">9#--H/:TjgG*X3D|]j$){:jC z?mTnZ>CS jóPO?t0'OoFq˙a2hq\c{7w;$-&:. >'>V^oπlxm') ƗOsO>,:шջdJ^yg턁xפo `K+_H9 *mMx!7l瞢!ݪk5TêGh˜Mw 轭q&W_i s7<7^,ѥuAřpMDUޑ/Ӻ7$GK4?8]%:h܏g2Zqo2?RVOh5& p@'!LXbM+9X(hpHҡ><9~PO=pSGvWp-:5Qw yF1i)N0 'zBګ"uڿap=|cQNS!]Sim?r9#kD>CvEiKama-2Rګi ;JG#6lԟt{rBݐ?\̄!Z@FaY>o\CT)hZScO!dΙA9c~"WS JYk%AG{\PX?]F}XjuK/zb^[(Ijl$HLEhϸu'sM d8:)Uo.@N2m;f]x%R~/f}:&r3ӺokAȠED@*)An9.SY?J权 `iMF;RX5޻$z=AEiySFF,Mp-+Q6(o`D#.1Q':usQ{ w~ZGRymy80O|H? 5^,fRn\wd 0ONSUJWCw fny&3lBql6"apI"@Е\5/ھJr}aP)gwbf$+g1o9i)uo,_:CbHXs;r{F)2b+eߛ%) +.-0 S{=SXmyଐ #x+$Yp.1%KOa9 /Ncjhϒ`pcxFZ _'PfCf]\Qd{q '.>9TV5Yḳl̅]H:8$?]dD[p{ش MÎe=kQE0tbSwSCy~ D=G+ ~k4"(HyMrGx2-)G\{_u(n,c@ J0$" Ef?CK HrC8\Xdt2C=Ί\fM^L4r0G3ƒSːR/'>t x1}f[){tz9|&H:C1Х-RViЬ<~@-@f-mlT 0M{ !b!'SX\0X̭bGQU_= ߢEC1^Ӌ 0@Yqdcԃ&kJ LCWE8N|߃OrWηa M ߱ &~-T#p׋8:׳zdrwȪ\c.*J?~yɏL.+NYdO.`Ԍ8wh!m#<"VWdZbKDM\f"oݝ)_*>[m&ʛG<=tX>f@$3BBd|X_./ַi٘М}+N!yCf];VIl9eb#iװa. =ZrC[ۅrD<=|dпĚb<2VPE0̢pm<td(fb? TT8nPm)T '%Ps-VTf?psU!Tv}]ي7)/;;-\%oCD]e1E}LAmc5Ur7?gTw(TI,b^DT' Ça$QtTii8uXo} $!Le ~ў;NN#,ʽYkJ0!߈6L)&e41dC߱&3F Y| ܥ 슅F\m+]E1sSho,C8Ņ_s  z#] eZqLFߍ+riOsacB.E3HGl%z)hOU)4=o!J H+.qjӪ[.wʙ1 )_G'?NyWyc?K 8U("5_ #ELbハ v1MJmM}pY=Ư3DeE֌~L>IJ9Xɬ`3H`#wwb4\-?8b1OLwHl< 7w%X"]|Ec6F)S) 1Zn$2$wP@ ܤB/ =٫L6J,ˎZXf["_"98Q/} w=$`Tp *܎WC `IXH px)g{0פ[` KeΉ *_ѷlŢT:sqܫn^{:YS$z(e9q` zfØ^ &vuJ}'usf cM[G":Ô-I?Gw7q,1W2 ZjlDQ4Bu)e_a0\j6T~UL6!גɞ*[Ŭ؈Yn"2,.E'C%BcV*cFP21+Qhh>~8Ian!`N%zp/Dzh:whakkXoq{jw=^nH'+b)9u`'IR9̖u ɹ,<) ykmɁl@XG%OѲ*1RH|3n3*:YS#Z4i2zIbz@~e~xdhJۍ-[p:E:7ڇ*ݡ`Nz}gpg=Om4+⶷ 5w{z[(+2VG$ N:דɳhSQ]P4 Gx G C3A7% nk Yyxm-#P9E3LTtjy$ʚF9ͅ7˾r)kZX:>7o_Ml zJF&7ooeܢ.&i0eBEn|LiVɧ*I}+ދOPiMp d ߅ߴUvdE'߀eϯ~x`XEs4D+?fDY!Nr,~ހnm)Q"L<ȪiemQ8_5Ie_$7t\&|2u$80eof6COHWClI->Zn}s+R PKfw,uul&92z ,i|=Z=78şN=1XcZ] s,Y'vUF^TzcK,tvgn /~MTyMC; д%3|t}neR-#ۛ u k=y-1k._JK#ٔ淠R"o"z2xz܊ 2&{i0ֹQ&$h8lT`Tc~gx_槔_('wVbDn-c6B3}N;ʲE* U<!BIKM͌Ocbhf=pU6r"15hxfᘾ;hhQ<]5,$_rGHךCb**|?hJ,nlGl9lp2׹.&7R ]XȰ`O"$'c&]BC2{UՃfSZ ђ6Q# 1碜NNʘ+Tx8*Q;29mtC+UeFc;$XrY$4;%b i'T]ƴ NmT7PkS0E8x +)nbL\>4tPmIFȡ?-|5< v=g<С9!iuޖL7g$>AmLK]e=/<.:a=%m{J'겖ƨ iX7Q%NnԹw'ةh4 se;MyGNChLVd5WG"v ]1M8jGy캈 9E18w#+.TZܣy's ,$RG!4U1!DIƨ:wG,zd1 )g'z(r`dcѵC Ark.梁ٖ|.YmZ|dPY.ϝJ[t`[ JSP?Խĩ(hS ܞqVbB2"0Xiru!@#ƪ bky9e!%YGGPc^[8~aV+Xy,_eGSDATGJ{vr\˓1:8:`>}0Ƒ] Mk敿uUGXqB=^& u*W`AZ$&/ & McdD{ P V ӖQw 2+70~v&p/(*w5˴c<(W831/ TT.u/(ɷ)< jʊV^P8*׿{+~ܲ]eM\LAMv&6\[i*^+^/p >)GЉJi~o6O]ߵ#Ob7uZ} P IB}99xviW,fR(hyCwu^ԗupt0# iFcG N$#;VBl -D%erPU vr)M{Q?zz.;Μ;;c^P[gSct>TSO;XR.=B4D]; EK[#4-6C>Ɂ\GiY/n"g/xDͭ?t/H/Hm:/`8 q"H?#W"}0I_*}0ta ٳ OʌTC_24 5k%q|p^;.D,ƴ7V" OZEt;Eβ LAP%IjYw'D-vтhr% ݢ;\5J6JiT0x6݄u&GPu&hBj]uY+)QZߏ*S QTՂ݄E"C%~&DdU5 O9O ' T?|G3~}z`p{ j$fH5j\iP! 1<'vCK[ %1wajр58}Ѹ)ìx@}?"q (=ZjAQX%8 |1}F&ɢbg,m]>R:r0ڕ9LWn3*r[h%c16?ϡA:HtψuE\Nʴ\U%jMfS*Z0ptf%X#1ϛׯ=*yxz= 3D?C 2e_8 cvh4YsOvYyg݄(dv9ƀmF=RGf3 N}AYŠԮ\jfV\?I.+xWm7-r3ͱƯ*WUN y ";˗@xlj]b %0v%YQ(Jƣ6j0(xdk<'[eփ0ـ;/\tI)フ!Y4EoST\#Uuv6YOpd}ċ/8FKxrHCxTtQi\(뻝 Ӵ]=t>@0$it-A$0/|Xctghw*.^VS0Kr [ox;`6G0VB pmc vKۿx i<1- Qe_x lťNcz1鞕RtƖK/g*An 7L_}uJt۫ 39MwOt⦝.*.v '*w"NASU:u;;a+Lp1YNn[nȲ 'h͝$h/_Z-x)OP$6߽ؓ_<׷$m({,Hk(ƛ<8P bCDRTF+4mnѐ5g}¨`11RO~k}y&Kw OQN%HډL FSn;_z.GO$$ SݵLEқ;UXX Z7-Nuĉ`c˘0&CN7;w9T"KHzgૂg1^[/[D`La+I+Jm]_ucɶLݪ Ƿ*V6wp8@)$*x~A>AjX5j iŤ.ePC^*N8vdzn=c7F4Mc։7Jяpf4?-Tx;[R=ђz.W rSdu H7XPM!' U#TY硟GZT^Ra?YK/8-_vzja}\mrC-`]E`|X|PH "#遚 H7H]zNhj`h#028L@jptga겛 $+α=qrGxq`HaEO | V@\[ ;6WK9GؕIbV0':( л׽=w0Gfra%"ȕ #2h%#j(;$#fdT իM&2m>)?!~XfziC'[|zXV{FIoj2|Wa/pzp(~N书;BYZ/I fq?I]nm5nEEڋ3g2x.wZ2)x*IU]ͼoCZ(7y1?;K+MOMTH٪V^T6GVl=S몶lHȅ#N~$Hҍq )Fu[5J'S8@YR:8 qlVC%d>`8Ͻ_,>^ܬ~$.#XeMn;0ȺnŲ)IFw'{ZA5#CT&n;Yzl7R|IZJnz)w1Yn?ӓle/ذSm.zbϒmzqȘy.L#Ar|6j')&Ϫh".A)W.FJ6@L=ȹ˭%H^zP5ʚNsŽ;o'7AKC^)Oʰ7$!BzJS 0^DSjáD:Ғmo"Ͷ4N06; }ر;߯_"9Zs*yFR CI6GmaVV }v?7!ۡD)/sr|غ`",F!S!F XOcJY] |*$*#'Zv/v%ap.O7O#I#D ʹ-Zƌqo(΁}x;W] KFtg - !f)4z zy-=y>u2`nUC?-o)cv]BI0_fhsj(h2Zh|6q)/\#3Xna$tB*2 ICvCC* iQמCa^ʿfŝѪx՘I]E~(PaK֊=G)w$> #rT0aO Μs+JQF?}F{]l6~AZ/ɒ6[O!,ׇVJKt;p K%Zmr6t.ǭػ[N}ZgfQz`/~bPRڈ qiR~6)sY~]e(*f}6ZO%FWt]S08T^MbtxޅTGeWh) ޶*^8x ɥ *Il fDr㚏:޸ID)ɊC"ǟjρ227P3q9-w/-Օ u lvt +q#t,C`! D_ѓ~;xݛD?˕oY^f͂"s*tF\שC=px*OG㣦~,_#7kcMs <( !۲x!jrwH,&cBϐDVhS,|3;ȒypwwB^`^1ghLlز0&Ho \Q%>%_Yg>mvD?yǓN)VNEߌ'@AYUP bj(Ǐ0L"oN8ZPm;cTƳBr=7 ܫ[U}G Z(F&oE0ٛ6>PB@gi<+]<[ π28fU9/6'zTNg(^`Hy {(j?Do^n覣pTӮ=SUڳ=*Gʂ3w8g.6m;JʳM^Y.> !?ќy6qKy`J 3{NUA1݁hMVuپ5EOh* 7G/Gaݧ q1!8*}~yF [o%IA.6U` ߟKFZ9%l@lĀZQj&W:.E!+/:$I™-W |!$ݠSjL^,=ZdM>uKwn$aCNǦae.9@(D+$Yǰ1+<(B},$bөm׆4̲a%]|ܖ+0+8WPV}m7 .O$ J}T73ͤܢca޿"oAOV :HSĚq}xivM h@s"`ԾN\P]:|#$!T#|xgYZ828f466b204c3fefcdf4a3b1e0473114db75430dddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 edc0236a24935ee0905145f501b97eae0abeeb61 1ae8545b1faccb44dd7cb91bd6966274298ce142