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 !%,Ld ]/]HOL-Analysis:threads=6elapsed=321.719cpu=1674.788gc=120.616factor=5.217zXZִF! ]T]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl(?p?O#w'{RhJֆZ4|AZF~.2Jڷ'ܓJt3rQF0CޅgMmQkK unx[P$qxKbh|6- 5!A/8:;xI͓Nl |6+'GrlͰʯc>;K.hHI1cy],%5bK_@)9m kyTAi!6+{^];7BJ ;!K~,fK*4 3 x^}ֱ1HpzX[@<7 t DCTRiI$M,#\%*@Inw\^'tB#di]3:~JyCI #d'dT1 jjswjҮy"1M~Th}M bsґ(MRKׇb ֈbvO'OA r]//K,cqS}ksVQBhR҈p?ΐy8M/&%@ r6[u~Du'EX6 o~tI[K@4GuHis/BClثbӮ yIPE9Ϩ;UsZĥP$DF5]J<,cT#`pBJ& o\Hپ&FW&T ~΀G4yES*=Yݜ'^C'+>m@-7͚ lt$52rfG^RZG3~{ѹ)B:+B5rc;JO{goQpG`xkMiLzd!]vmAu+ 5y0Y NF=@ {uS#*=wW[BER9S䟥:G-#Ƣr 5}wbŴ"8.tk"vKV䖪6'P.[SM MAz2]H ,pGbdrƒD +OMjq<u.}b[bт(xZͅ #\zF\W5g1iIϩȶԴZsXcYz \X}7#/6TC؟>3pKu/qlΤIR.8MTi[5W5>XҲEhs Zצ c*+re@ T\8Z$F;g⬖包=Jbf=jA:M*+kgD^Ħl`2TH-&s Sul ʸGΣR% vǁsGyIJHEGeq݊ I,|k8SH9xѤCB+,pdHͮz F`[oF4:hIK;Z%XAHI"@ ˷]\a}ڣ6UšH^(yƃZSjxs*q`5Lbr9/c(ˢq9qLq@KApNC͎-k·ǸD  /Zqtnޙ$[N Wŗs C&8LVCQ#$28l[xnБi?q]:3y߭ 8Q;mFj0؉B0]l'ڮp-gQ*-zFv@^ >(.Bunʒ2t&*1J Ņ XN[._f~LhK2S:U9P3 ´XDhem&JJf ?״}  _A+94ó.|p?v i8ô6JѶA bPfBBMWޮE2D;zsk[ ?{~{P ׃ ;F SuO@L\ǜHQ0:̱J)iyt&s=SGwswW)psvj/ąPȁHuZ>\b!hZRusw=8%I`~a;l \%ߩ23jbN MA7OKvN bd)lA:¦Ft~:7rLs6;LFMS-R1ܱ },鈢3o "ḅȱ J_-pҠeܘrZp VaɁ"x7Mb_sN İP)g9 iƢg5RPPBpeZJiI)A&D|py$`4UAez' !m\>r:@wߎXK yOI67nb(ـ81_ob^5 nlD|b=[s8`)+o.˝"tܝ;_cFj0Q}Y4 8mO4~˺P1✒{i, #IXTibFtm.h% % HOL-Analysis  )PPUQ\l`q{\PNO%vgڂ{;a.rbdS 0c(-Gq!-=|d| bdrfi';XM ;*繈ǀ?fR {Ο vLn]o@"d|ФH辘Pڻ4>eط"t/.HZJ|\utg"Fl!W I6e{]Ewmt[CcW$m;$b &sk oϥH͆5l?֍I]FJt }MtQ 9$FV8~T7i}j`j@⌣Dއ܊$̝YYwmsCYlw03uN4D-|]%ϸI)_1#o;TTF~[˦HDa&cm譆Q~%"Oib2ٗ{mſcIyPxA`…9y 3`x&ce<cr Q2xqp?Vʻ[lk ԣs@%ΟvPT;tӜe_(Wчe0qS%I? | 7n2B"/_vR=Fx<9#ЋpϿVu?{Fªg?2СK6`]n{TH@?aXL2# $k^U: (Om?IC h uWE[fo1쓊&Z WrԑN~y|/s@oX9Quxb =&ANErH2?mgх[L6 xtn* 5*3V ':T]{$*+'Ў{8O(Oٌ ! jCI?GhF.bbBzgM:ޓ ,X1k8NMMk NK),8|5BKWy5:Z%BRx<`%X:$+Ժj'ÕgyU:d_S`X?s2<#Z+Js=lsR]}iT0'P,:Ե=ŜG E"+MPШG%Zˍ]tf Y=#kCe]" *9 iфqŹ^NBdCCB|IphRS.&`g:Պ]R%H`T[PF-lcx;je-F/8׎7qV2ug0>$$d8-,ӌ`6ӛHmxa) ,b,VʉC|>~w;;hKG)/`c{aQ4Ʉh\i'|Dq@h77L3AkD1.ޒ|Rd!,9zjYZ-}WhRf^2(ƵR",s\j#tE$|G!Yiٸ.&n^DɒKI~6[>=ċ5N, }^'8$f\"֐A<K Lj$$r~& 3ww՘ݴPΕކ-pB#UG?]0.[#r;QG=4/jx%.˟an3ET&&6E=/QL^Uc ּG("#R0gţǾ ylŝ$-ć'8s5-hv@d#[d:y e7(WE7=n^Q<((k m!5:ZU^?_A'oNd0>Y˾0u6cO iᾼ}}(0UJf5Q"ӍI鈳k꣟wyiQ v.A.aY].0nȈUM҇m19{Ⱦ1pio7NMe-c.Pv9ҳ6Сe#q".i;z3o*vG{R0 !U M ڃI,~O}?~ yé~13X_,DKn^ťmyuq"C[Wi̭_״Ar~o/S/'h!44o|Xotf2v63ׯv,a[&: }0$=%/ٔEiKy7}ydV0f~\U=hb1n?|yHcgc ll$p`E֌.*qG $dysg|;ۢ!r+XZvk#R;H&aKG(8\6I xQ%߫_U $ 5DY~"D*4ʡ'=CqK*|gRtA^%쉡CD~rRw4[>[I#&aW M?=V =hVd~dO8񞰸cGd8E̊VbfVv!弧1=JZBdEɱ[-#Ko_^F5~ ' Ix ʝ1!UϦo$jBw"H1^_h/yۧPl+EP&0e=j= MySJkBJ*~Q2g/FkN1fD ,crCX<}鿐bo5 Փ\e2E+hXyS#ep6nivV$`EVgWg(G{yQI#Ŵ5dTq{BHu E[ q{t @ $d_@Pɗ1.[ĭyCFqHwNh$F+Or' o؀OV o[yadvҷ",O b#:4Bmk%P5 ;WrK:RbϫX$HbwkOضOc@Cp#<O󆵛db!78$atܓ/ Y$z8Z +%լ_l*AzOb$#>F\|h@z%zCG ,j5x?Fml0 jV~T] hTSn )xN"ΕRIaסi\I|⏪7a1y6M/ynȑ %IET'c5evo&+ $ -C#)J߯ UNSo|#^cǭԒ{9ތ#vᴁ1#'frennOnt[BBդn߈i8&lDjfI*IvJ9?xdKN紁UYimp3PD"4-}Htp^)٦l8x-GO|Ns^f9(!l$_UQ adI#rW{┃ @NgýL<8+*۹e'׺rUEPRmo֚j{3fC03<’׮Ycxa0}ftQFꎗDɉ9_b(a HNبKO&=E Ux|@ܫ-zWjf ΁ EԄ!a??%">/ 0aF5KK[翭xtvA''¦:NTtxZZ]MĢp#@k*],DJk2PwzN-fMX`c0ٛ`N'Ȕ w]}D^ v}f3)b|*iST^:OaSŮw,O<M8#NP}ՎIVA׆'[ |WT4=F󱏏gZ*!E졍 k,v[h yXnJM?-nr|r,;ܙ>,'#z4P-/L`KvMyEtvOq4 "X'grgMh Kj7>>kVE?x2fOqKCjq0k/;O(H‘xÊH!Y;UN/%.V𝞛r#ULw.0R`R+v m3]d] S/H??,c hNI6?:^PCg%Y5`%:ZȭN$bXPFϐ ف{@yQDSSNcU姦3SľzŦ^U+"TrRD=Yow/EրÌ- 8 Nj{t'׭*O@"D]ʔvWF^> )螲<CGR/\2v˿S[#qWռv(&x/X;rCPwaS'+ͨXEws|jǖ9 cٵ-a> L~#_rc6;8eL;+ŎmP`''4$"CAA9>`u\T#X{/͊qP->ɶSXn6tb=5)\q_/w _iT E8Ok'TNV4\^Bg!A@—7sے:wJ;piSЂ70(\MqOXT/j #.e ӏY)5S ~/kK!;&5m: B6zg]LQZf&o?H΢xQs3>MX}ҝ ޘ/_ #=w 7'}ZC>PaelmPˇr}b3 vNL&cK :U)k7K>rWWXyVd{Ei [:Wzy8[ @ &Lb.X`$*$=h.C6 U5ʘq#>zMz/yy)_sTܺT:aR̖5fRZ-ZAxOͳ_p i63 MR+x:*PIHی:PAQw)d by܅ʮ=dbH Ԙ?>\gtpX9j܊F5˶n3N2X`\/eK(+\NLsU9),;^=U**e0 u>9vjQTndRʔ Dta+n']T҇nwE4#f=y;g;rNo*Nt{<1r%Ɠ*5e}`)Q "-%ﮔ ox}G 3Ly]CNŚmB=< g#(2Co+}L6b}}0~UZ#ô%l_H~jB~k64^trNfec ":|"j9s4}sUؙ !, g=e ]ƙxht~fj201|@FZAoo-LXG\jWOq`*쭀>].7|+ܪ\, seȸK/^\\DTRR-lP/OseJ,RL<.Uي 1]pnc~H~*w*619’Tͪz;WO,[FmCΖw؇\"W V  3"vc2ۏԼH;о_Owv uS'ewftCм !˜`Alrp R=}ZN \3|/R %KWB` 4]\ ظӍ 7nCw,:"{XML<"eC~g]$oN-2 ]WXx&Q5Șy!R'O.9N]:j3uvh>ixDΉUA ߟTkz QWDd.'rI+QL|b}A2ᩂ8ਪߘXlaFK>5z-~Fk lVbD?GoRJ8j]$Y̍1qOɔ;y س"5Qq0A;oBvdJbv1-w]-Y1 "s>9WRYo&uL\Pwkk`hvdIfƂr8jG>)'yqŗ̏ѤX6n$;hlLzS6ZI'3MoAgT*cjL'$QLg MX}|jʘHePqtk91&6mMӅqs> uL.ڋn03rn)a﷨@Rm1 ='S ,RHrhҢHn&)OdCuhh*q9}i^E?5^%E} u%z~{E tP8z}6Vx&P1Ϻ/p(vД"p": B]nsDfkL""5m#%p:K$|U[tmL]zӠyFk:͔HZj)R~=#9C7C5mR\_BƯ/ys9@ڟx 8~vr꣠of:5Z9&|yˌ $>y9C<;#1J;I &IڊXm3 <I-x5sV{5UhBۮNI eBtG-P"õ\1.T.l—.0p8ECPɠI ڮqBug),Uď[WHuG_ňP!8w *}ԝ"qus l fʧilry'L%ĸ:MIOZo>!rbVb5v ޔMQQ|sĦcv!)R{7oX4[L+5ǝHLP)!mRm)$֔O3EXQMA>A +{\I:jN[nG@aS^8NqvkuHMU~ҝL[NĒ%IA[>}c((=?} E&-RYdbVg'J`mnKMjѵf CiKwVtoN~@pZ+\#,|Ma'-솸%*FAh$ڄŎ7M⑽jnS7Ms^=3t >'A2 m +Fr],5NFv@]MhG.6ٓ4`XlҘyG)`q.SF3䄴W󒓷R*P5f񻸱[}Tpq5CoF9ELbT?<5tߜN}cHKz:*niRX]4pa?鰚_~ ̑Ƹ X rccJ_ Tf-%?V4+q_FxR'F8h؝O=Q,-2@ dSdV{X9wE;ƀh=g|.2&DVDXIRf7 =E#dRBr*cD%G &}.s'H4z:ЪQ+Ү ;gPS\M;$t: Ja" :m SfqZ #u@?VAL8EC4QrfE#d w*%V%gFI*J.VȺ[`r 5lpR]?:۹Z^SycMn7б#źբc',*THOq6ox,OC#\^&Ղ/f 9?-0N] /B5Q;w*A$H4?< žyGq]P~dE#N28`R"x1 na%$Li+`岉hkwq+S~2>/*9/rL%Z>"Bg2 ! i#SH6ɟSY,ݶG@?a /(ow@Upi"F呍) Hr&& ar$܏R-.cn~+KspCs?-6iK96BmiFI|eع4HVh[zi嗙ux.1jH3l@[7Z_E P%/* YCwM!:L&ێ~̘s\poξqmՉ 1G*0賙5nܥ_ cs]Rb&?Z)~M& eb9MDi=%Gh tхCO>LtI'ԘqFK\js9YI|lԾa?&@305=:X#lxJ =Ýr+[r`"8f#1~_%`lX8aF` RfY m,E{`՝!% U>eoRn;Ub#({u, Rbm@Vƶؿn+cd 3zl֙[o2Zɥ=٨x T̀ҐVŊ҉or_X,T*e)dw 鯳A̓8Uzˈ§ܬiԖ7\#L6سNuN?M;PUYL<䨁\t~szrҷ"%̧!*mpT˅Sz܏*w=/cA62oX"P8B9U P$o3QB_=t6vDG{ཋ--GC#cIjP nr. LVT"of"?mҩuE% `1!dY\[7[ ^y~9P륧k.xы̓gqD%-iS !ݴm- jJA n~)K5gEB}Ofr Xh*S @.8BZ\ (2<&/ =$9:QD/$c Qtj ?L=.z]]XZ5(Kshpe Sea uc5%<sJ&G 'Ək?4D=f# [ s<{jPK_N1Ỉo^yM#Ґs @=u13vOsO"_& o*A)YTL| & 7PɚbG4UJ2щ$f1ޙ` 1V;oa jvX?「j<&7 `sXo39hðUVJ^S `hvmo CRv_ ;Y_VkT;% 4q95*r"Xz^RjBӦjaC38:Ǹτ;HhRaB '"tƾ1'&)˞Af&M?![wP.|~`8'/J/ndQwB6\xi{g7Q#q4hV=v=Q >BL/GNa7&$ 9,< \!124vrFXy?L:~;i9L -&T~bPB ]RcW#HQ]6ꝿa4n>m2#>2FGgt}8oc jj%3i؅SHy='~%|]iVl(.G[js`>%d6yDn)샸4V̊]Q9Zن-n~%z /Z{&B q f?s!*5ɽt[윏mNaYKYllL3*mo2;&xcf:?7"}r6q̅.qU#_+ 2#lR@=,Iɶ?vUM8Xtzr2A-`XU0O(P1+3giz\û.F(.M)˿u9Z-M+EIE;,G6ƮE7 ZbH6OEu-B8L:El q:IT̗Հ#SԨ$UHLyrxžFyBY2Swk 4\;+#q¬NGa車` Z7t>qdH,3 Qy(M$-,#a+5tʎ-慩K^09jXԣ*U\zC ;]SH4fm7J# ?rZRDLXo͜M(%$[7HF W1ϰL`L9E?ݡߏ4M]ʆI8A:N!i PJ% F_~z~:b8ѧME1n 7A(w.Gi?C}'vǰ dyux` j&M}`Y7>6AYYH*VV0$Z2xe?W}igO5 (C)ZwÊiU-nhl$!5j͂l–*ID#J"^ <J,vH{eO[6{"mi?}{І(+yBϽ2ӽ_>?"8zعvPQ"W_O#s QGi\p*0+gۜFv"A H9 ʯŧ19&_Pihʼnjƀv {c=יkrYd3)*V7X*؄C4crQcHT@S;=Umj~omAe` ZF^|Ƹַ] )DllTc39%ڵǹZ5\pO7^܇1-:EvR<=vՁ3Uzr[7@tLpV508VUKRS~ejflJYE@{31bBZͪӬXOU6+TBWqQ+2f>l]hR ˙9!lN3 ܥm~@ۗՐ(y392GExg2y D^)y}Z/m֛&6tpv8WE{G-[mTe$cA zþD^p~%'Ďi5uY1G)P~N[{GDJ̪"'px2k{Kb}:|rعsn奢^DAY_\֗EH2HkVڗl:=F-^R~jTŪ]Vq~3ax*|5—:SldR ~s"hO5_tmLPb^ޭcM׉WO!Wy.96.'gƳͅȆდKڥL+ڀ{uRK۴"֨G!/&+?UMy8p.&όyl *Uol x^W@C#!/ b Z"="fUr] k'D,t.*dž}Ld)#(zp[Oi\e+j;ArȪ."GV P6d?PԐWfy^ǂՍfV#ODFA/ۉ z4'C[XV-XOɆ J~ˆi~/XS'R@lBaN ^.ǾgO>X|=aµx8^AzNt{^"Tl{*eO>AüS Il qY5P_L٘?NDx(ztʊU=1cV$X$}8CE/Sݭ|7 5qmDaU<ݱ/?Nu؀T cŠQq"Fh0䶮k?xEg9-ԟqAբD3#N~l-3ZCU vK ҫUFRțbrY]o`Sn} Tsv{ a@z\ޘҮEpG!4S4^jƙ_"q2OQƴQTESRIe"=߫ v6@hp47+T3`3׿gͱݚ߾o[jHU:8ѓO nS OfJiZdfTЩGSI\"piLȕsߚX9ª:Vz.NaPMțXgfGm^Kޛ\ 9CF oq:l(N%>/wT@/ cVD|LU~4KhR X0{lF e=S-@]\=ҍ `{G09FA6;[p]%QHWt|"c;)s :YZDв^3\c|(_VPu*Ck+5hj-fv@'5/^[K!32ni! 4 %͂1GPV>rqfۨU#Ϫ ְb{!+'yҶh0}]0=8[9L< 24~F@5D rT ^K0Bn5?e f_g3sȯvwҒm&{J'S S!}Yh{A[:$ԛB[Equpm.#?H96R5qҀ7&\6q+'VHlwRL>!-\&!]9c]}K>}>}" Ȧ.jO֕]2R)zMJ, $#Eeu2=I:=lr^؟IF!SOWggэpeu/0LpMn^~EQD5Zpa/E@wqq5`BB82VFӍb r\ JX!yԖ=@E-!.4'!o]f4u"B!܌!%}g Tj>$RPl"ey#(| 5hf$&[nŏЇ[tBoQa~=~t(KV}wj,mP=-) L߬rLcwqk}y{7<#iQ@"j9K׉a#RRj;$2QȼY=$ǻ%ω"XUNpY1%R^ u$\MW # vE9q"BC}bsb|[U uam:̋@EK",ihhPuk/o^2aNÉ=$zO5sq^;L:Sma:pm2ۃ"on*pr `\IQO#B[0j,ٕ`2bKOx]#5x4]+ HoVujʊ4欵- X 77LJ#F z{O1N1eoCaА4_|"dx*l9c?4QwHEkN^i nSVu&+ދ6DNCT]}Cj/oA2hDqQ8VNvQ>C?`݃)TLҹ CJF3+sX;!m敨?ےn08=y_|DM^i%>?h"MƩ`z-0lw(uw3%P\`PA"/[&k񞔰D.GFmc'ڍ nX|,~ Yq7㐮h[g͉5c{AJX ŞV1.3ۤ.og.~M:Fe[ʤ`M' e}(7,=(%J6h./,y_ LvnH-zX~x %OkV 30xB:/S;!([O)ZB(0T:dYľJ{PhL!wOαqY"Id jY8b%F(?_aV5Yn$P:CqnUM ^sI,6> sM# p;uK=㨀բ΃2PL5gYZ7zXZִF! $n*]ŗXi%Jz-gfW !5YpWXGĚɍcq0J(IAm5zA^U[s;Sy/7ajg gWd-xlhљE8ٓK^%rpЛҺdU(pF(~rr7I׿qmD0x:oҕRa5]ٞ"Ad94CW{=.ua9,CFUӎm¡UD Gwe:i,x*Yp9~<ۄxZӒK&I*fp-1NG4*3aUB;ZszW;@|9} =s/C/4̂a`M`gȥ#~vj:C)zz`$ @+C AR-~9J<76 بa|z$tcPHhM B?|nQl\Qf2u|n)Y# ~ ?Mcuv#CbL_CR٨񹍡RB\{AkJEjJvq❑tcbs[;VFZ4E]m6֡EεiEfL-ndH'o xCj-K#my+yO)-;"8Wބ4`~WS?ۦόdޫ13S| ;Ky / ^la(9&K"!f\VX)bz`¾r^,#nethI{LF\%/9)UT$۬?!jx8eg8WZx- ī;6d؅W_NTog_TgN;Wg}WwncQ Td ap j#'M܎An.zfBf2$zWV*>sld_HbH!=j4ENP%&(1$vuڌtcp. mT%YBG~ c BK|4C*ǯnv#)^6A9s7qQd ISfEm}sha>>Kbj&pU+:Ay&믍X fWNC GN>{q^1bΡ(EËkya(IXzBL9.#KNg hŁrŔ_ ,^Fnx>RhQۧ~!K{x$bQS-w~_jbұ3~X]J'qkRƖM>Ɍ}L fg^1X'DtD?Ca!pIK(`RP3D w8I!kdfu+:2;m#P]uw^t 2 d2>g.cxT!On̝f)h5㺨YUgj ~"vR/}^3n}~ۘ(hvrUQ4 ]ox(cA~ENm ,xC[b')n܃Jm ۈTaiߖ{m }hN?G7tq%vH ѓFPC+j(g|N):ɉ-@~Y&pM\5I!53BDai3c83>6ƚZƾf4 +bzVK"(Ӿ?vמnҬƕʼnT=]x1GtV$ ߱HGr}5sK޹y:'HK7h d@\]x x@" C`o4pp[&al˹Ͽ~ۦnhEr7|q`@0ytK!(=wF"i-ɻwpHF+#YLnቍk0FFl3\ru֣eFS8P'MG .HɤI{wh8pbV#ݮt{fg 6S|^ x@'+U`0uxK5~ݒSےQ {(*oO,Ėr=KH[0o9UFW}ΥL\K#8D M0j9X_IJ(oB5Ofա=x3~q"%ܯWBESVvdgFf)<&X*8,(t:1BGז{$}_9s^*j5즿 4mv/A7/@NT=r($TLMi#;#Id9.:]{B5}.jMoi# ?>c5/J7@Lau(`zT–y7(c{D:쟧A'F[{] p ap2Hm:\ZgϊZ*衙vb_T#)|NL_,Xzk49s2w){4*S@7oҁzX 6枟B`lC3UctOJXzu/銒ՂOqhV YuQ+\2i!"7ϴB|ұfaGRb JղiYՌF 5 ʹ/?KA`ijoW;ȒWf{Q~fY_!LZ=X5dPJzX} z\9<<_~YwB$*={]p8XMI0LY\EQu U=8&khҽ1%SCΕH*f&C0+wkfefӿ=p|\o ־4 RTV%ʒz1Z" 9 c}욷!(+A4@K czFZKUDv {<{Dn;;tו*"[:ËYûɕ:K<}$Hk`f.=wb+[9lr U|`EvA:ʏ݊'jGDCt!: CS,CCAB7NZrTC0};>wMdA|U1c-LDZm%=}F9{ ukc JSQŒmqpS$"1/7=?7 Y3e}i2ɞ"A5$\ftMzP|-TeÊѨU׿LJ_MQpcYiB.!)șF AwPA%Ʉ;&:C&w wu]TP#+e0(qt]iցcY (4J#4S'E'%g}Q(2E+l <`r3<6 £Hw%KPma#sS|nNV6SŅCQIx Fv뙮m&CZ e;JG)NA{sO̞1gm!KHmR^ޗew@Fb$=uO{[;m'gD]B&דNIw;c)3x7e,ށr 3 T^8hî;u`?OV`$vx_r[6E4Õ-fSQ<1/p^ (G|0o ` n:Qǒ| ϾԠ,s LfSCoT0ŠIH$Eb$TnV,룶߾1s_dKK*}枒kAY(u?7&r^d2Zsg&$ID\i&z@Lv?UʉE#S0z] &ɷ#Js~Nܥ{v="j$]1!| V7!d2o >"ɩUmXr<$#r-|u(vy&V;D*).V)6~6iD8i)]CÖk(Bכjx lR=?QN-lkK9XSR~ *l)'@~0|!SAz;% q?ɭf1|~,&kߪVvX'KTFF3Pdpʼn=L(J0Qd<נ ĎehG57Iռ 1"Rȟ@&sPDi,6D[Z=Eb/-uRO5FQ.=:hsD]t#XL>(#g I/-J5$U1$Q|XyH9BW`xf9sfqMM6G'^YTpp"=,rIʱOFu'$g2VD%s ^S(|)EY+ qR@uz1 "\cWpLOgEl؋CTwqҭN_`3ZP>t@ht*<*o-19L{\”JHJ@_ME:l Qc~ҕGi+zJk*Uů +}/?|gy(ewja~iO9~;iN2tB);\9oMRX>2!L)q0.Z6p)p_}̏ވe1N O;+Jyd+`0CHHOg8 GK -6.~;O%vJ()xWj+7żXyDĈ%)K$;3e̦<4F_^а@n#m`!Nݻnx ]*bB `,c.JU2TE w-nxD: 鱍sf:՗VxOͧ~Pg@߾a}S䀡qӣ/uVY#$+I=:^fyS/ w "N7a6oT0_qw9\=$5&XvyFkaI`"@LY*$ 8iS3`NH0 S@3C w>2_EBW Kl@<>EKNu K1k/Ќ1\M|ojÞ02M_Z9&8x@_uz^HyZybƾb bafNA#铸g+& V8!&{]Yi^};ܝ3#>-g5pN'"E9˞]KPNMDaL}y{.wՙJwu(bMUT5#; Pf4nkzӹ)%E?yߞߞT=!ڄ+C98ͯ lmMթa! C ܼ̓)G"By8N0 ":> uW |>ī'HM>z1`8DI,26zĒyڡO·.FH۱Ί:iej恒^aj{Kz3 K;nn"thOx#H7$sRȖPo8A+zV\Wd02(z[WޏmI:'*:1d]^x}r~;F#9 Z(kD#w h`UTݸ=EB% ~*BhztqI@ _UVR-̯xjjxuiXʉ^d4+а:S30@snևL!)O+pXDVU  wPG1x%/ik(Ե%gEiyh`5%s%q͂/ը \=`}In:i<&$ms8x|˨" Uɐ˜uL gq p( _k`8(R@C- Kalvf>alIC}.~M3©O5jDƨcΒt'qӅ/5td!,o˸XP8V4<4&τiTtdl</;jqZKo6W'dEZƷ{+?cM')R'\y7FrX#C{Nޤ͋%"h@6A/T8&NC;5Jm>N$;Lr.#[BP:mA&Su΁"ȘCg ! :"qNdcq{{ kVny`iw+KS)߂-Q!bk]A,G 3Ge fk@#aOAZRBH-`?Jէȝݡd>5/YT"o<9p?" E(Q,$657y퍘23E#QO@Wt3[n;"]!UZ<SO:YWK࠼\ ypJ{|1)>;em7Pzҟ|vv4ayIyCiR V(jc1oJ'E/` Mi]7uo19a " <(x'ӈ_l=#V 8 T~ctVMtSȠ.-c┝jCeg雖%One݈Et \N ߵts` rt>y[$YڻW\s0V[hŵDg|s*1i^GxBgӎ*,;r+L@o-0A-Z,a˶+n#Jf2Ըk c6%RG}x#ڻsʓᛞ-sqODsc|SP"G.f2fr-+L$ʹFe5F:1;Wm c.I4FLp3lY#`b8pUMkAkcX]ע:$}+ƽxWqc*HkL3@$J$QZΪOw+,uR+,TS@Rմr!!b#a"vwlxov|mả"b"&/_X r&aQK|kLcX|Ku>h$.''QU,ohN2N f}X i_w)`ܬƃUn[yLN#B!>e6G4n).r\ xG,rN@\M׵ӧ1u!4jW=莰bezԁzhĕŗ cdu80U3ŀ_nò|_ xriso~"?XXEi |wUpx!7~J7zNNfy82huIylسٻ s 1g4(j-GX^s0>\V[n?t X+3Eݿp"EQ}-x8q.Bއ YDfI{ukɸ>(GPO};NrOuhHnTAY*?$ `J52rD L )3R :UȨ_تDUьSu ҈ A?cUSoC2ED;3H>f ~[ z}@=<͈ġFpR.д @*Q<.ގNR7'·쁣qEC px[qzV1(/ FǕ ] =d՜V)8+`XBw>إ~b2ZvnPnՖ6OayKA- Vm|5,*ys̯(xБTϤMWpbv#KvK9Y݅{|"Py9rHG7QʈKQ f;2?(u`vL|*u-oyݿ +-3JeވLIs1HaPmĀvg]s-ӹ&;\ƽdBb+92&bkRZkIC~*cI@ʅ*pPbe=Z1DX(O]]Ɔ4DL$:>WNV$Aj7[\жOf!eB|5 24H)gUȕ!\ .;WQD ;G]:0I*m 6sqxUQ97hnj E["~jZ0u@œ7ȌGzRT}K[G\4[~S1s Ni9soó4  X 7M*HgXZϐޗ;oRw%uu؆0iBAVD}r |:O%mʶ7f_jM${`YѴd_v)؝6QyAFP Q2rP65Fk$jn@02GL#4x #WΓnS ,??5h0Y2@Vt+ÜcJ' nqa-cY6ߟdSPœ/K}=Jl⿸݅D|>7o~T/PnMdJVDzo2)W :Ɯ8,`,`k4Hλ,`v.96ftdcCnuEOɨª#) xkV@]ͳ[epwf`P~풖7] #u%үb^rkc𰿟:)]9{4t|9?4ܩ޹0+Qp$!ru.c51P*̲ߜven\e*^؝kZ6Mao%xdbwh7@/1?cq^s&>^k"p67PFxCqFf,xRǶ8~Vo8Pسt/6]OS,Xn*XC GpIJpmCEG?/洴+DNḪ1*ZN\ڛ2hz=R pn6saJ1hS~U{)R>jQ;~BXyQqݓj/uo?-#zTGMMLZS9)4r^p0nT/ ffoTigz'/ .[ %ja4!n%:#zUpCox$XD`#5~Lv [jo,onL<փeOzy35b9}Fj>7e2wy1~iZ y!iބ@Om$pAaeGۻN>I ;hP Ged'&]DW^xFPp듮sZGQUZÈO7|{^i=tIZ-KpJ<ھGDym;Sd"zzW뀙xYшKV7(6VY|q{zKUBll(:tl]XS ޿1V |=7{Qއwk΢V ]ݓm"˺EhMe,)+$ԯTM`۬|^#Uyw ":d`OǧG:`pDf̛\~ h6Q{UqMeyRQ|wTU/p &ԯlVS3Q[ƴANzd'0'fTq"D4u ~= GYf^lpPk LC_S3Fݻ-~z؂:5 %}=iӤ2]A^xd*yǵ} Xy5Z /z@(Sg?GZ99B^)vP~4d_Uh\WXĻ1\Hx ֣A(zN3sj$$Nol`"}g*:ϗ$FCKG 7a]|񯳎( nᘺuv4L][T)AV+@FEU:%Ѵ.j!BnHZ Q#΃zRvDC*%ۃ<*\lKS hȤ{E 3%°QmH /dUW3/Ky%uT|;vԹ'CPxQ1 D+$a|TuLⷡ$rZ7_GrȀHsj[Q{/V1^o9?>3Qaf1|p὞!) 5^|m7{v[r^}ƫ'5**uUN HH}0MqN-J 7ݩ zޜZjv]"^q]fYX?ed_/`bD%̅ s_ϐY.sKHLنWn={3DdȘ@P*LT.D}@q^*so+ iEWN,33IRЏ̋ΏL@GaH]$4>X,3#hU@9I ι`^"@o;1IDk7  ,v*'g*-$(5C<OVay(fqPa0~z@^kტ|.oC,%@^| bl\\t V[z6O׹q $ WC(?.5MLul! p@|_;"dMs;w ?*ΣzlíI5BDZ5 mA9> UDop%H"sE!8)~:@G ) ZPsSt/*'Αt¯*XgU$tp41z;1FkPwzhj&UEQJk(,9TUsAE':WD~uHQ@FbEVJ@|3K $DdHkPu!_(Xn#5s/m;gZL0y+Ë 8׌xe+sIW߫eԌw$E+9BMo&=僷->q<91p-rodՒOVkcZF1&5NItY؊ j+BE p)Hv*SjF[|2mgޚS!/j\lA\E~m98pV?^+b!$g..u8R SziMssPD|{6gaA_~ڪsr(D.`[JN $ʵw2V*L :>l$^\kkO|VL_tiPp\'G/d1j' OL z0v9͈kbN2>4s2p0槩?jD 4Z V 6iV>Owe:j"zWL?RZ~v G vjēp=X%7 ˟@;[T)Oi@f+*9s5 -C'DZ ޙ kyN{5}ϯ$h٨^Ql"[Iަ/TK_Wi4X4 OFBRe4 ;ǰcn2&/kE0}#-fqq rjXp*x?;A#t/{D4>DU꒒eDPkMUY78#}W[~Mam̎~ /H%m\obk_>F,cxWλ4);'>=μ~Ԟ|ک 3)^kDVUiϬvMb|KYj' :Fu݋_恛h~,Eܱ{wvۄ \MuÍ;,&x W\P&Ѓ23јI q,‹cjYSsuWt{v~ Trrf(x,uH;D틫i<0xruCqt9a7}]]3;z/f`ˈRR,l~anMuE"k5d&&O> _2P<(ɟ}cZ1{D9L/ovm<\p Ӗ ne٦͂ZOG(񡩥ĂZ\M 4GǎibA@áLdX>iv/ȄJ͹tI+l 5Di*s|ߨI<gF\_AUN51x{+PFv a920zx>F(l%g÷t/ NvF3/CH'&w'=R<׎?_Rަ\F7X[I%p&߁џ#:`FFHzT\Q=9vow\M22!s56re1i,yR1JaZ]TUkLCAETX}q";At DGoWw&- u{CUo]A~PI<tՉY,ttqsݞ&!g4. B#XZ?_]y SlѨmHQ8[,+z4d:/3 Oq0\01F#F* 20*ilmPrX~|0gy,rz ~`6;LxR2V)^B43+磻kh.ӓ`OZEَ 1# mxqk3_XY/š^`8 ߅QwaU'F4/pev{BGDȦm3M'D:_awŒޟh=S[.:8F -ׇҽCBRMGvE|SjkҍnPC5,&xF*ٜcFĹ8B(B2_KԒ \^OIR!؂v)"LIܽÃldkJr̒!pp^*B LI4{䴞e~(0auI}0l$*4ZKowBL5/b9A^}-sRZ֮F#5ZZGG[nK$F `2Vrt[~JSsS'|QZX8,/,Afd:e1NZPHb}`(ʓU~N"` C떣J wÁWTsz!v赱9Fgqc"Um x_!^n==KE x ܇w.H޻W wɬ*25Ĵs F-T=}qtD7|@r 4 73&TNo ZHٕh%.Ǯ#GU ;W\~#n#kӘDjL̢ܴd?$fIbC]66pB62ASDB*k<]5rZ~c!|7së`mh'Xr@ ֿ) |Wa筗aM?Lʤ0_}J7蒓CYy\p}of߾kPTC;o^L2_hZiQKwQ"Qg§y+ʤx|nI }rY TU,/077V5y]lǩ 'C8uNu]#L=lᇘrHR'6QykdF,%y̥ Vh)6`D\cv[͌RxE7Nj>;6,4/hr #:I'nò8R mHq\2_"RkB]ezy7X:4QAd֤`›g}\^lktȿξ="^6K^`uX^ra\WJh}Pđ将5^p]q+g-oNjO݉c1qq ^YSzMn%\KݑKxxwe`$&:Ҽ~O6%(Y7"(ju{zҲSXu磖#<2ID` 5؊W/ču ̌- ~%D@3D x)g+0x7YdI%_0 $:iJNI#xC ]6(XIb>W =n[ۺ`6mʊK 2gYTH,A;-0 G%?r.+::n<:/{;l"/N|3IZ,{_r6햯4at#jQ4 <&/ckV?NZb "zծ%Q6 ?JTK0tq}ylB[ϟԦ#hԧł0/jh%G-VJBgԓcpSp$u5}XAI>ID|WܧQCM@wK|{Tj^:ۢpGp*=!kpw$=btfMw0ZMʱng Aߝ/&~j:eC B`]46snѹ'Lb @*?l 62X˻'ztVЌ(:/2-viXBqJʿCVD鴌8YF#(嚻*o]fȢIEܖ vB=\ID7n֦-fIXFK!]'9"~ ׫bb!iV/nb"zXj+M{lÐ';% >3 f\+u6XΫt",%tCL|.W&X|h5w@L~vMmլkMԠ{Z3kLas1JhxcK#qҎʎDG|9i'OʶT=7XuF ÒAJXP2}{#j¦L%^8dD|WW|?:#sN *,徫0N <DiaGcL|yN8RN dѾvV񼡬AqgPYçYP~]!Xn]ԓq܊=uy-T4RhAp*r 혿PE (E63{ I})81 9#?p+͹7>m)6smCęe6ZڈcQc9}0_Zh3ȚQd#^=U ?+KƐhnTM Xc3!p!k^JՈ۱mhwHVR)Os~: $.1ĪKS澘+ f'M:wHNC5pi\)/&U`ӗb[zoP̗sb-דM IG\-)(G}8:k U;HXi+ESCJ!Ez7hɒ+.tݤLXfHZ ܐS9pa\T E\ik~=̻ %hx5Z@K԰qhRF8,FKh|?5Av I%'bv}%P;ЉDš{|3PJk6,Zb8DcQE{[7izvm}v.36;1d@iGjD Mz(_4imptt\i@f켐%55NE,'+ck|z~#?܏y׿P+ļ0qmvw|p*jhlK%VaW<ƿm}t\U?Ib ;VtހBڔҍJюq}w/K>Wj}b ADŽɲ B ǢދAUmQC8fs/Dϟ[pczGsKؠ܌}$[J%7|2YM.&׶÷)_^B9]N:jYy't^B:TG;]>2XI7~]HF|hE#fVg7_f2 PE_|3:Mf3 deIئVft}WnFn;:6M^%Npȃoxְmig@gQ,(w3wDing :S hsGUtԇ:RSIOP~Y2Y+crPds&|vm.@x2|.=8HbE"X<[BR{X\kZhƖ3M=ư`BB=cwp#:iš[>gHtbFLrU$< ,ByqIr}~se J]o:r+?w4I@>. {˃wC~q~RLkGR!mmN%_H4~o1:^*cTɴ'PY$8'"lEqO rcrx}# p$ &+|rqۻ,CE՞](:tޣuVw!yHdgv`` =^xZɂ*,gF<ctr!`f]uE4+P1HLӿ$1OX7q:AӞ?A9һ[s4S{2 ڂ>;{uAD2]_gUj|::e^}e_o6O'kTEE(* HU4{hh9 v&pex$Uqߣ.D͗xuѮ]b *&#H5n4~ظ2ւ5yUJ$Vɛfg#kFh}"U _X}.)Yh_s/>P;-GTW}[g@'n&dI٠"={ mґ5-$^E IrWC|٭Қ$\KǐQ>2jV}0<[Lq|qi%/{ݴcʺ6ͰwBYInܚh!$4%ȩ GDc=WN؆=OC"mC lvN'}Q^¸ST\_YLWW°e1+^*zoVBy"ԙU͟Iܖ]TN[=H]Tf8Fum:yh# ,)~ӄcfB9SdYt2]LE7,PB1"#7rT _cQ~+ls9|\'%ңuVM330& TcӮKL"ΖУKyQ_>d2@6gOi/ml~Aҍ'OW{w큩 w'9Ȧ>mW!,!w&:4sS$ZhrnCRSZU"u|Q}[ {:<=6=Dp ]$r+E-pu,瘒a/Jo;H#P0\ٟ/Jyn6Ra4:Zn#}HJ8"?deI y#>a ŽM t%i_5/w} G8Go:WG xe[qUJBϦۢ"B[ŞaQ׸w l8a5'M<Č DH6ւHXjIB5:#V⬀+P"Y$Rv~U tv<]TkB^'GKO~8"cnh5@hL[aULBHC k,u*CsVC$>aܑ5/  GMaK%>1;SSմze'B V(J+C+~O~FЉ+#X#GIXP׺$mx+fmCY Mwlff{Cbyءx'f*xoplr",F{tgB ե4+ mUK<2qTcjO x+ \.Q0ÈMPI8C82|w\>׭" 24'W{3*ڀ4ԪhyN R*L^㠨Zwyc 4Zʳ8Q{p&fW3JT65KWtXU:m8ޔCd(?,s/('9@G`8̶ADlb"$d\scDè C"ߑahԒxpqVki$)&b<ͩ|)7,Uamv_ͯF>ί <x6ʂe~- NЙnI)*u+) / y0 (mQB\SXZ zDNJX|:#ISs0ݯ=*~]7m2f~f'Xk3OOb´jU<4N"yH: $F6ĹsBx˻5nLY+)V˦10)p֎M"ņpsiW|a TNa2J3 S2Y9]7 W93Lpv_3?^w*40TYr`=6t+_MX"CU HNC -Ӿ9#l3j[c]6`m}z_LUxG0?⑷Ő ๻(y:Ʌ2=10V0E`q k$<\ULs#BoL8:ZqALX2,Ic bt{.Q0Way$d H9G &HIȽU.&Cmv TNjmH7 %\vw ?NmUPrI7Qn<'8^G$5 ;job|3H99%XYgN75VsJ>XXB!U!,WE";6,znpmF}1} yV~֌qqPo,#a_RO7=2;_ ӐPa sZ rβQW6oѨym^VxQ{ʇ2Ue=ԮǍѺT} Lʼǃ6Y+V%Lb !)p,SyF3@\o!@.Պ(7V ~0ZRa[YG{RUX ދN1zm,S7>f ]( YcW{Vkahk@tŗ"bYJ#zΞ;Y%yw4`ߏx{>NŸ́^u?;v6G/$g=[daxbلSTƵ􆲩=vxw~M}8tB٤]:Ŧ[7T [ȴrΏ+2L0RdYư-=k(R1J 7̴4)ZqJ8uv4WYq}-8Kd2:efuˢhdm >Hr^t [U҈;lܕ%O6֎}A 64B㮃 ֋J^SڜkyXeތ*F'V7 54;+W   `ִ:r+gu abM'/϶Fcl&<2I PV/E@М&6M w9 =.2cFlp0B'q x{uOeu/.iJ0'% ~hC;(@߰_µ`60Rj]{Bpq *w'@KVݣfvx G1:kpE!3.][1 '-5mقct%aWWıKeρTՇ3xIf>/i?]7n9C:~˰s8A-+Cwr b7[.+O)5 fOBq&2W%c=8N3^,> 72`A vmia:4^y*XK 7KjM+knmj4GWp*D:j Qꪂ{8k!wvF]Jz8t-rԦ;۸b#8"w\FnsNv*=[緇O-%l qk`:Щy!Sj [ ^^Rބ4W;~ KtbȣYM- T>$Ih< 0%c-f\wwu鯢PEij§ inʭJG!YUsIwo7|c_qqzW\(z@q"JRx `Z&AF^' 49)5q)ϿSG 7BL1|L`0yI.~֒bZ8*VBPk+'NvciL'^ .- u|ݸ6ɤv zX4W)2!޽{&0k:n`aXS;dڭwByHJ?G\gYZ8cc209f9d9f5198b7c64dd6e20f3d109a50ef4e51b9d791c9837b33e4a03e5886fe2246de351b574 478d747829b3e0420f00bb750e519db44f764c625146946fa0625829942b0dc8f13470d7c4dc7f2f