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 {{M% ]/]HOL-Analysis:threads=6elapsed=329.010cpu=1707.748gc=123.796factor=5.197zXZִF! \T]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl(?p?OK/C;,h y8ስ-:8mb\{Uh ^eyj#% ˾ -W[+~k* bj|gȡo[꘧*i }WKu왭#:oaoJN^#\"TߠЎ!| .Ϟ] O ц䨿BX1[).rw#3J]z-A]MhcWvA3y-eM%P#fO1BLIp@r~K& O:Zϛ@}(Xb5Gt׌8vLoϵӟ`LtD,=}e#^D2{,.%"=y7#aQX,ՅrAj}W2ƚsv-i d'2@6H΀iq0&^^}ZD"aN*%bI[v/P?[1jSV-aL]"|nn{~T+Hl&H+Gc0cr#+w\2rV*q:=V:[q.=xamʧ:Z S߼HT!U>5Pg.>CfV I_fh4b^q\m@'UB )V%QY:Sa^(@Yy6[es.~${N}Eo_Gha&')K%? _D `2x59 G!AcƑL , \A*xX2/|V1 l!0sنyubZ4S9^[w o#pP9zԜ$+LKPK"ٔ/!2~ mo1yuGzmF˛Iu>@ YJo%E's|6T93bXA}HD%dhE?'-6W~Q@'fٟJ1jjY*$ȬE$(_ c<&:1h `Wg5 f*eRo:\g'ۣtWF'uoy&,)&1³] 7`}lnUN!9mqVh8WD7pb"]YlX"滅]94ǵ[uW`aurנ 4@k:t@S)¿_^An #ߊ5eDy pVvr5ZZ&޼@P,w(p ӖeQv S ᢉ٫|߾O0C:b[̖_4shXWlGMBiiH5:̚19GSwu&w{`Ew{R;H 1\P<ȽTEvŲP:mg>&>B`t_R3T E(sZݼr݋%"-jԱR|sC ;4w+EQ ZʸbXSw^G d'dTsH0ܺ#E,$3h[1ke; vqO`I|dx4}K6y}lwBy4dfdܦ֨wt?[eΌob,X5+Jacu$%;{hн\O%28Ssv$pMne?X.I-9mtK| \ ؑeG|;_[6ERNh?F!}}=ZlIkm &|Q".%l.e)4jRߜc-+qgQQ_'ƣCػI̔Cw7焾1SĬ#J_:"_O5.M`wA';P" Ԣ ;{?Hq1Q]wN1xa»sT@:'~ CXja}sJѐh-L,vQ.nu~oga3ivm+_L/wsi0 ?Ĕ\0CHv >tMs(71.*Om?vfLjw$SRm}%(3&Z/ =ש[y'#fIP "b~gN䘕uOc^*U^;j;o?JrFWwSOF1/+- F]U )m][ܽB>U{0֋*U4.Qj,h߶eqB%$4d6{'uwB`C@N<l@F'T&bxX08uk_LV;prY2Jn\;H 1;?3&>ޮ1=p6b ʿĺw%jCE0kc)%EH% sdTJ{6C¿D@AMR?8rXXWf|@_ZȿsME+paj}І2Ua57̆*,D'ː:YFՅ7~ Ű뾢V9QI -D"ҀC-vI1)/r J${f\ȥA(~MI Qݮ/61RjЯǀERjٓáaAQpu F}Mۧ[jK&։lRhqhTb=>#q18EÊ̟IYq…:uMnx O( ad :GljkO$Д෇6La#Dw_>y}J h xԃܹ #6dӆڭpo Sz}*Ioe.j+l C% 94 -bLZC7\;] }3T-*X-).Utr?[R/'mi"X] #B7s_i$| >[y4HqLEϓ8z _lRHc?Ma3Q_ti+ׁ(T_;q8k"K rئ̐) K{NCKRA_FΧZ+Zj-&ByT5)uKeKOtb+qh![?]6.~H!3mϏd =rwnJvo\[uzG*Q5>)eg.vYȄj-A!%ytbxeM7Q]*ꄍl/Әy' ںך#QTd~i y~ۇi_Herٸwa"28̑W[r`b#ytʐ=4`֓s$jŭP6?; ˜XA M _ClMcNp2X `F7 DC;)p&_s˾GPCMN6>CIa/0gy뜁`$h*y#N;X֔t4ᯡ4 g(Z 3ekFVf˭:g$C,fHU [L0w ehggMe]mcسbU&z,u(@jǏ6Ssa^"Au9yxʫ1WmV`ҏ#Οt}1~g3K p{6Z,Nk ]!~BUЊ 3PV=W>2(7Hm:rf8w+>ϡ /'}!(t4jfn8q|җc>ziXi=GԮ~ M*h}SqT}+_uT4fLROfm59li7F\;|5BYQ_CUI"ҙ_~ěgB"bPEfDRz"tO'WwomÓ^[,>Ql_4dM[B6>5Xk,00zIJ ESj f)mF@aܿM6.\T-ZJ>wg}g_bT cB.^NJȱ-oԚ]xc p{i"$2_?5Iq߼e2*w/}ڣv>cFAɕA5k.2S?y8ԏ ['Rmѥ|׬7U$kC@ϦizGLG1֑h՘3koν:$ϳ˽dA#-BQf7b&QE cG($&+;E${Ol宅fJ.G{lk EqYH_erh%?$b {V8ajZ-FǢBI#>[vw$@F9I}_g;#UwRo^A݆46>ӄe3cT?jXbQezPw^r u $C0]2DB>r&(/Х3 o> WN"e ܶFXO+|HdǤDWWzS@FnX -L-d\4L(g9pjD{M Aӕ4 2٭XfI4GήGx9FS5Ԟ'[Y8FR>'03;%ԂWFWfᤘŨ ǂm t;a(ͰO·!]ذǽXR~e,^u(ipv]*/ftx#1 #N[Xp:g<h¡ӻ~w缦rF_ʂ{h ^Ebq]7Q)!gOFg'**=W[IН~:ɗ(n)v$L[f`BwA-an; `M! ^ޔ̈O}WL`}#_ǩa|im04! E/ϸ 9щ'ލ%5L$fu'#c7efʓϦaH*~w8Έ`^ѓI_=7=Qv;%)æ(4 \DG%۳P|Ͼ))ϸW>ˌ1Y1WޫK9RtgaKx)1U*k(w9HEHLzfiylƇʠ)p^nȷ.R~ +cm{.f&}Ț-r6"=~]jUFcX,uI`@w$f6W)2a#A݅N?EvE_q_$'fr*VQ*춁_Yut N֌ji -NL͏.^^ZBNɋ6b8*fyըnYvD>X⚼# 1,6w6k*G.Ĕh%(8 䘋1Pj%&/1nϔ(B,x=@_9Oy i͋r7Hg Dh8~׊6Nؓ\9DFmC5GUISp(lKlyT;I5 K ) su]x `[x\GA~e:'^=s+\Y )1)d/$ ׄQ>k "E/׵MqM, Б B^ϔ(ڐ S5ŰЉS`~>56~H JN $> ]gB  YfSd_v5fxm$Ȧ#d p eO#XT:>'Rza(tb9vT$)|3(Lm:3sYQc#.+ O)mBUm;K6mP逫-xWsbѵ)}Ĉ?4psopWc`xCz14D&Af45)-|h3BJ^XE-],G@ן_7jڜw i9Ws}S֤_p++w8aU%pt!p0>=PeE]{d AD|mӦ Mb +嘍[P~ M9ی nboJ|#9n_WҼR.H)L1#iwtv8B Cp*SݻڟMaXۛG$IP( 6>66NQ zuZdN'rYo J8N yFy^Ѐ0^mM0hOڣyjD9 3; ILxaBxxorI#|JTߐknȦAD~:Id.OBAsޮ ꩫ*;ba|SpEZ51,9bÈ+~buPi q:-j";ːnX: 2 e.41sA.qYg8uE" b6pI/ߜ9tWd(AN2:~k_ bfH?yh*ƈ6Š )dpy\9+%¹]RĊma(.⇠G ;+o]?n\xlw@a`%|A;6-P[(nIt2m۰gG:Ns$;}ޗUcmCW]2:{G8tL=*_ֻ6~iZ[^;{z?As gz];X!Z4s/~Mb},ϜAk(h*ooS/T a*8ԧg.*I aq3;=9)/ͱq%R1dRєd1AEUؘh%tu.k6v?PL~3Rg{%_Լ}^e!a&5"-L],pAq*9:S}:TbѰ7tXM^s* P5θXjF]}qz" :Nc\P{x0aQezsPZa%;Od2ΘBPIS%dҴTdo*VxrQ|&{מL(Wm\B[ Ẅ́ɶS9I@3һaf5CmA|+Yͫd^\Q >-T9=V<2wCQtci㵁I sry֧/VqN展[3|!eE*/9;_"K]<2g VC5bPp]|"y ;vâcY @όY <5zVt6owsTLǙC9`J'E vEΧ1 lzTEuQw뒆<,"ߝv]<Sr$06 *ބnnŏ`+srͼ, hY,Uk*\5.(KPERȁl. sn"&㟂8Dqݘ0!&Pf,P6揔LɄ:~ռ4?1!~%IRƁ&r̪E&7pמ LP%;BQXQǒ G:b8o^h />4䓜Xh\` h,u|)?m |do>Md2-Z$j>5=4W&rҍvV{ްWX ,Jmyxq*om(]J8Zpѳ"b)pZǒ{֍չ3#zܝDQ[Q*R'WMܧKtS-ci?QsFS16,ɬqWR:0QW*ց壧%\%S;v5Ki&N+nAqXjK Z-:.ZPZ9<<@i!4]"$ޜ/܉kfФ#_I" އz΂a|1ch|_e{n.߭6J]eEJ S2Ln XCVL 8WµwZaH=M@kôq%rZ8)ŋ攭4 (%T:S<";,-;t%+.0|N `jrļ9L+oNDtR#=ɩIUk':2D\ĭ|N#,Ew';a2(\{T(&dHn\HrOGmpe@\MfW6 *:sI(Gܨ4gd}R) {hY@ɞ6giYO$%|'֖Q,L[9G*CZl2֭"D+{tVfΑ}]6P(65j'qv=S]ө5yOO_bxǸD.V2U^t0"D+r*a8^.ƫLt,얗>r!A iѣ3\j>[(Z$I+P̧sy_FA]em[)3%΃1$# Q_Y*, mLN%uFܱ7X+xΦPeb"bPPW:=$)@c.04e)qОbaΐq~xވVG8HNq`2i!&kθӫU'֒ ;ex;>?P vaNA`Z>u.ƬcwCQU.hs>'^RU-yL6ϴYhHmYnҘ*LAC} eפnQh91 MMoLb_MеXrt.Y['{B~7ha˯3go Uuq??*q9"˺'T C1TqH%s-v6|9}_%Vc)~fa}C#gWYiYx}Bc̞xS"w"HY; ZOrׄh[ƹj IS- CvߗQZo NmAH ׊?q`t\15TQ-f*t%urt[a_tbJH4w||fSCB _2:/+1ř,- SMuh)mL"&4Bi_g7$qU\ $4kpS:R./-A>IgK.1Yn8XXx &*,5m@i>\yp蕉eH$%U6 ™Y㖦Nr-&̣';;efѠve:} _}-Y1}d|Ooc ީWI3Z(] _AVf!S@9Hsh,_6;/(m|VΑt Noe"Sba ߃­(-9L婫ODҪ,ݶ.3RF(7.bX+!wrRMI(c]ĚO5'7[@kiBIwJdvWv=C:)& 8tl %@s$=(*´ ;=V:?9Hy6\sD&cf;0a5'~`=JRp|lwELݗL}|r=q$TOiUƀd.G܈f[e!Y"C]3eʚ;\64%=uq}Uѫ#ދ(rEcZX~2|!cu=iUX*ڴ(=GϱHs4 V$j7M{rF@ nw}^Vj:&]FSؕQҢżTRɗ\jfD`PpdMEkrC}$>aˉ?5tr#{BT$ψ'j*vƄKJ9@tD`Os7J3W> ڍT9cEe"Njuz[hGEEv8v qRNU4KL>w>:3 SXq 6=H8Dr’bv{eRMPl)A+0DȅݟFNE``-'V9P [/v@륎fSo;0&12#m{Yw1 E'MрߩOj])̱JԨhe3flk%n/4@v !37hu pnWpN5%i::x_u;o@;FYbCL,b=K.~o+PM]>Hl\ic ƴrvm3ٝBm+6nA/Cy& 7oDCGW Cshޅtmd\L ~XOg14Pɞ&wKϒ9FkF[Ζpdc{,C'=FD@ Qɦ jp-;qY[JhaQhsS.egW35-n'-gWφ} NSO BcoHaLmiT@I/˰[2#{AKEoMWޥTxr 87qޣT;N'{-hZBc/oyrW޻O'YZAC\ͩcͲm55OƯi6D8ν21covdqyM*($={j# CO:`YOSv*u ֜ϖsƔI , QxL,:^=g 1 з`v6gNDY.qꕹU>Dǧl 5Fg0򲥅rd7%n W՘$ RJx6PnڟJDE;W33LޱrOJ 9-(81*ҹpqFOH嗞7B =\4qw_4鏽|}6{NZ7L& Pe13x(0IKTk{:@3 ǪwuBJ壋 sb6߶X"͂̿x}y[|")/*l&K^V3q=oM[o_b,gv #Dk㡌 jQvw< _X4_) IV|^O=Bw2=׍YLa5Ͼ1{pwk9rq&AG61A{i!4]ݧ)WGx*?vlb?GJ4Cjk0kz/:y";ӻ/oy$!KKlPb#cARzOVE>s4%ml'=p難_i Č m,캼5drDM968W{2ӀfkuٍdZ-yO4߹:[~V:=*\߂Šk"?RsyL$ϝN:)~W=%}]Jb-hxIltI`sSM 2&\/.49 y su. \2p Z>|8 䧹^)|j\2U0r?'Xˣ V [*<כسnnkǖ4&Bná,-DOFP^UI^ȵu{.sNEՕ.~B{<2T }=ԋ6u?Q,qU#2"K+Z%~Y .jF=ձOvXF ѫXap-_m"@b/xQ/a(jtZ9h5 뾏Gx H-:} ֗iO?AK[.!$7مl}Ck:ڡ'tONNfEezDUieDaS;F>>b"G 9 ks C9bM; Ѥ@niOm>#e1˺ 5%I:F:+>PTQ **{u0mkò(@ ɍ^#QC[F7X/ *h~ie`` mC`8ۙ;@HUDktE+3%:k 3cv=?E| 6-ELQKCWU)oH}%M F\V X 32.) ʙ IxVCN@;I 0`ͯi%{=Eq.*sRYjI5LagZX^2HyΘ 7y/)leY,5 ڤ-p#aU6 M0:N:Ñٯ ąNnTfKX3SDU~_? ӛ9v yNu? +y/4GrBA< @Sk%T;} P#W?ul8{WG.9s=fu7z|V*FX[߬dHf[m:yD{'x@OlS9- M.("~\bi % k<ޣmE*lFJǑϧ#`cpuAy.Lcuh:nQ)?ϴz5t-EoUXٺ:wE/XgҎp.YjF.gTa:!tkEst5u/bڇρW U)K".t)vchrQ'JyLUQCz>"CSEνGUFaR?^{!YԅY2Td#0,19{p O6J@͞2nx2&TKC}lgV L;#0.]Z˱> a1+*)] Y Irv(?LcnMyqYakP Ex[GPV{3T4 p3lod[*T%Ս,q;6Zv`{ɩ0 $w"(M-2%]:Pۇ> h!띤) oH{p3ءRXKzdwD'mDN^9);:['|ػ`UA<ҙY”),POXUɠ鴏j߮z;FvЎsPG{V\1c o~ω/{\Ra%t+4o2JpB ^UFySf9r.h œ6E'4r݌=q=ý$:南C:[x'PC" 9z<b3qCPbwwi P?ij6 K Ɲ%|ARݬKO8:{G:)M%hHvdz o@Rd=9W'J!*ޭ`fpIJhkmtԑx?͊ F:|fݜЎYS u>U6g\$/}ޤe_]@ _מ `ps0xsX77S݈kx\&ȹ)P4C}ghNޒ;a jr6LD:RMʵb(;HԇHH=1;re3 p  oo'Z]&X tyi*u{j^2RFg QgfI ^~z!{&-\߆I?/%xƥOxWG8PD7USQ%e:'Y ;O_Z-82c_(Fj(DqPTKp"lWeMbR帪BMT"o Y\ :h$|'}!@bl@TKq3m'Ԩ7~?{km7(!#4o( `%xl /o)hMDqo ipo_p0'*)=i2Qu: ey\B0PNlhwK枨jWC3J4-,/0QF&l1p^ O!٢ܖ kl{\?k|_GC06Il) 0@xl$iԋ 0ӧ2J TLp%fJV j >THԆ8 ~JF1'qi3qU{($tL2] X [0[na 'B5f?gDӄwSX_pd۵LPhIn 뎜 .lSQaq$ Ok:{FyÆ]?`*T jմ/뾌XWmg-r^Yu$y[UmpN;-wFߊ LSld|eed7?z^밞 yhyt)̾]u "Y >AN&Uּ5âN)߭ .p4EړSzJL.2тa@7pfiay?WM)QucvY*۳JB(ؘj\eܸ|NpOhoΛ7_ Uf8=}70#p Vh,RlY3Ll|Om[FjqQA@]6uzB j;* чg-Gy LL)X+XmhG_(C8; %U?;=U8:Uus@/$BMLƩ-rx ;ݿ3;'wl3Q=C|kDH(ÄwL ZeBPkN'vSPHI!ݾ_Ytַ32Ds '̄\oK'SJ?h,>VN^pH SGHS#ogſ.z )S]xѡQz1KAPQΛ&b㣩p"p猎OfX(~"%vD98Et>7Au%k-PvW6 ݽ&PpA Wۡݶƥ CQ&e@9qVmsMdḕq7ޱ ՝$ٰ!e+Jd::Hko_mMw 9DY *мh{Z/_6}X݊c5GWLaÉJb:Bhm?owk$OQe:Ba`\fxeZaփVgaoER̻Ѹ9@}SIk2Omj]z=w*b"WExr8~w ɧDpl`$M+ ^`@!e v[ 5O#]hF{aaq#rFd hO Z|^0=Jypo: @╊28E?b?@QcqpGЏ$39q\𪯊뿕C7l-":f:aj!ƭƱ/s1ݫs.~xGQABy٬+x%2vGΐ'R!jURע~gYZ7zXZִF! ( ]ŗXiɟ1˦r!cHkMeBd4!3Kl sdx)q SvW] Ŀs^k 9S.ڊo '&S:)sÈ`%^FϋmwV=޾$?Il~o\h)`&T{ZcPjpHCo%ٞp} g܋JJ!d-"v.HtS~% ?&ćrx2Ix]r9RJF`Fcu<"PZqM*ur_ y?"yihfK^pXg>EQf]H_#f^kR6Yo~Eh5Ўͬ%+czJvk12D {X>!w_ƒ8wG' R8z"ɗyV?Ob3$eFq&r D֥3}9HY!/[@{OyA<*ΉqX:06,EɧB z\Lm#ɳ; O/4&P~,(ڹFW9tp"jrS]^q^DM0̟$ݷ)cJY:VP2J|8YmlyX9rDzFA`xVUEx2WuS/D[*TۊDr C C0ݗƉ+TD󅦔⛑`AR’: DĝQy 6W}8!Kd7Pz'TVdR9p%d`-Ƚ]zj`ontɵ-!ݬh?81;= ,LXIRxN b%q]O>&zܔgUa^4[Ԥ_~ 5R ZSx U7 G(~""k~+2CݻvB-#0P0.Up~Y~ZnLkƥLva%;RݑIDɰB2} ..@cMxW϶s !QQQL{ƧM?3ru؃(#!W J10M,aݳu )aKz>^_*42b-!|L xOf6.Ppm$ގ .4\MZ?4:9Q[C^YԦ̅axv"o'*m؉o &+݁VΚEc&t4jF}p,S$9[uv?>F -,Mz37- X(;#HzVb\7qDKtLE/$:ΚdxV'X8[Ù: XKH+@O?\T =skpgl^oUn 2աR:Bb)u!,ށ‰$پmF w{Ȗgn8G8i f0=pFL)C/}<%qLF>򋴗yM8%#a<׈ %SMݼHD>M'V0i`~9 ʻBё%v_]imYa_ȊY 6;wSh]p'rSI]66PkR#L35)Tnaw0cQ*TY0! )3+R60h-2Z,51$ݦ.P V^ qq`tͤQt[^"J"4;{Az"m>^˭l;d!]>Jhj/e}a,|9ZQr#ؕ( 1KS wJdpӢ#J܍Vnʴ5g_q8KS$|&V#Y.BHf+?К>혪CݻbNJS;,uA ]\TB=Z40fL hNz//iX ,)#\o^DCD.L''OZ'v BT(.'x7%Ke;~vΡZI.n.4/OgMނGHO2k댜E~r j5#!Nz(4T_Y|K %LG^V\k`t۷D᠑o#&7َqGH t$( bqQY:$D"bknmy,weXPSĩlfPgYZ7zXZִF! o]ŗXi%I9Ciۥϣ ;}Eٮ]rwu:.9M, ;WXy,ޝu"Kc- o qV<'w]4s0h[L1} 8 *I1FXӅL5+t];e,6*n|qӟa—D=.=F2= /7;CO&&S۾e+VT1n;boV?=WAyLM q^|<'^k]p^ꄏfmfHH ){N=8,9x2~b(vF *%y"k[cH''4C`itx[ ǺtLHTQSn< Q@*f|n̖e{usNG~^ޡO;YnVsn$s+r9!͛:̑}w]Vc'ح#r_6qI$n$uE3 "ߐRv_o@&gݢ5Q2=c  pSfq总:M)RI2lS-7P$[Pz'{:m Z8Id{^j4,X=bʼniG,2wEsGg[ Yտi #:l ϓ=e '/Vų+?@®ʛHб:2 ZUdl{e^{.\kW˻͌Ee" A! dʠHWH⨶&䇈=0$<5Y̋/z`u3#:XID"mEƂԆejpo׃\U0A\"f{Duf?S^>| 7T6r|P`D5ö%^ M]T1)/ĆmR->Hqe.??m} 'dCRIn ƀX#Ill`O[!8ظK>>kW-mkBC0cwj1nltowV {^@vO ;@.b\>Ead2E3OfU}Dzn[!"Zt阳U±þ%Nw7?c9H>rE4\?w{~('}_@ypa#P҉f#ULThWs' Բ61"ݻd>O *9˾$I13#g\ݵQ <:hwN6ʟ L>v[?;CzbJIv%C`3+ Kv1^}JM{/%QJJŝ$]./8r>[)%#AlC\(429Rh9j7>q[Zh,l?ȥI+}'YoX1ә ;G"|2!W kv`+ ʵNʕFЄE;ֹΊgYvtqE͹q g UL _ο4nVXp<k+V 1ܷ1'ʹ3|9}2;QF*x ܰZJ<`fpDpKԺĞM(RԵ#IR;wQt8E#yIxS:j\2+}y8i^wEؐ&=yB5yt'|w!gzYMC5 r!2X߬Vo ,^Ǩe/sA,;I#Tti~PT\4)W|}@Bai@|DU*[7E]`e\`綽Z!.'_s\-C5QҔlkПczafV|%LP5G%tikLC۹i q cC}>;( KԆwGNN>Gb0-m!$ "Jc-Wj)6x_]ͽ&BQxο_PNď~{٩dlkOº87] a]pHѳLKhy\c1 :LUl* ^;OvvIۆH9u+lYC'+[=ǎ.2b!VR~"[ZS/y ڻpz`"$#|Q/]hM-d<"ape֛Jgr Dx5)>A- hmn]P@ta }XdsU&SVzމ_ra^j!D6hj)Ă %t\q ߪw(ϼo#^} O S}U3-[fQ`q^͝Bƫ7PgJ|tJԬ,fE{[@#h0oR>TGPr}Jtw;{˿90sܚܓJ3"QTߌw'$ Oa,ĭrad/P,c'ׄ7+KyYubU[,k9X]KcWJgUèn,q!_d |we╟}ꉄM $H}o1WK#a+Y+,N2j .|SY_I=Գ'cw@BVR.v9մdb_'J}v򜆆ۮ`˵nk>N0;]sp!+Yt @/ߨ,4㌓452F=x>iBAA]Cb=Y"Z2a3s甴1;紎K O?iu(A> "^h2׋1Ez*;jzt")_ÿy$j>q~?εlҚXpo˷a, ϧjχ`A:z7tȴE:>Ln7 Gu"A@Mˤz}w䉽KnPGڥn?>VL+$t\}S>+HWE%P,DN]{v R:~|;ֹZNa j*4`!A3TS`z3'pқ5-G0lR#`."}(v%2͇ veO08'R™kagMJ^I!UDކπM.i tf {J SjS%UZb7e8]{-fSbwct;NvH(` +907JP,erYߧE2nWNI <8q8Rd+.8-뱊X" l!Ȧ6(No0t$g[$ iC>]R˝anTrh6TP8,G\tɄha a32i=ߎCK #)VDRTKi͐l8aѫT' V @pUgA\F!ן㗚7V L󄲯ANPon@mhc_!9ҀII d8P+7dk UXŞxΜ󤈏P%S*vK 4L}j2)˰' ԛ2ׄ8k+>nӧڥwh]QϞ{&)>N4D5/kA>#ܼ,W=YCK4j%o}ׁ̖ r t={W5^'~dS9\77ӌf7Ӆ9Y3u <ϺڣD*v}HR]Z{@PdM[jgZfM2 shAu wDd00CʣW_"cd>xooTL먳G7Ys,l5#% Sf&.7u-c_Sk3; L\lbձ;` 0Ty'…?;iK>)f`0|Y;1oE]\S՚Ax1L1h>&[<̂!Q+:Z]IPQz$^fSp2I]|P&?wU/%=.O+a`g @^*еhePuq>9T>(Ǽ=';iIo淶CIYհB#J (Y.s:BTѡVm^@LFv WxXwShp,EI&ft9(yL=&6TJ#y)^l+E6|8GvlyÙ XPz+R vl $B Y:7JbkEb9fqk˥g b ?|o7YoIgxNt#=&G[n,09@IfҿS rٽʯkl*q2O4 "H@5i)Rql>UmCz=B#M2TbӛC'o͒TwNAt@WngMـSzTuQ*ZWt*6WJ\sYu) T_0NLP 2mܽ Ι}Tr#etV/z(ʣ !^ ^>BG$, _'M~óqKy!'eZ_{&+xt ~?sˮ#Pz`dDh+%gKD5w «p T-j캽HHr*+ݜJvWw~=,/w1z A'e"Y?L'ŋ0%ʎ:b!\Oh6a9~%V<[sŎgqlZZP{J=owET:SzG%2D$8)$، ɶ9jp%ƑΙA7tb? (1cx!ҕ%a9(cțN$N"ɏ ۯO.,&Ǐ8Ĕn(_j}F'*}Ͳ5{GB67n : R(@w$ɤ]cd[⒈3?+|_#j] l!!A<$50!j%o{xpy t٬*O^z!6c.K9Ԅ@0s 1vS 9Խ:c6WͱBVvt؂LJ4U-Hxt:!EbyBC%t|z7L15R - 3>!y_D%3YYzibM?7r>ԝI+͞dr9z&c4Q{:EQ `d=v,[_)FCxkg +--;**}p~Mm]@:d"@~"tZWSIaM @p@.=LqLҙxFbfjb\`Jّ\UT1oCIņa Q1n#hD43$vv$ZQY5u҈{K{s~I\eG?.KRQsU=7ynT@ۚKJ(D0)G5a'Qm7E{YD(q,$'ԟӃ,LJLB ;"_6xTZb{8hE0K%,Ilb"0FDMK 2 ^@e0R'%*_CcK0j pg ̷Ipjͣ&Ĝǘ \0B1+є\ȴ/e3a OLsQulZ}~di/5+@WFלK2Wa ƻx!_:(e;-FVbK#pfczXΜ'=:aQ n0 : ~Z"X#K Mf-vF?<5r͉I&UaUX( kre3* :eDE~~aoG1H~W8G%C6Q˫աCd SZ¿Ìo߮_อnINxRJ'ɭaQ5ATm x=_el "Pyb.FɛO3E؁h=b991\7Yq]9P~-7ߞgޤ~dF&Xؔ}Re{(@`2.j'} Vg5&b9<(:٫ZgSA ^=2iFB$@\ZuISVe=: ^)[< 24" HM$\6U ċ&/ 6},1 o~>+AqQ !R/=ӷWSeci/1Vr@Յ@%Y721ϊ*L%NDuBL1~{Y* *_-v]ŸaUvE1k-i,5ՖEj7'6j 9!\؟2}(a{HIjJ>Xj-{zupˌgWOY:(yx)I9_*2RJl]Z޶ɏ#{mʕaPb xN>S6LX#8M\K»}rlj?;fgd=u}ˡ#eW%53iÀ?04AqS?=EM650Îzu.Uic'|w?mm!p"X* %с siyxvj'g2|qU 3HR@;7y \߅-)4PTҞ E-,Dקw ɉ-$!D U0`T( ȻK$ C*U,1!FH<,<;6wWR=JC̆a+IڶIEA@ T 'k*1f`&9S\i/|= 6 Kh.߸[_s[&+(E0E)COId#Eb[[Jc0lmت4?ˢfI84"C?4/^W݊;癱n6}qremW,j { *lq#k8ke@Pc;wpZ[4j ɠ`I>u S*vݎfPNW<:mg W{;A5%Vn c%9S '@mWfOec(_3 I+,o:V;ۢY{`(oQo#3G!,')0qO&@b;h!4j<4e"(gJ=FA4\M M{Ͽs 慿KN4AlMNqkHY[bd=d^MPgN]yYكNSd gҒ;Ʈ:;ą2)dfsNڇi^cM0ɼpTgs+]kCxx>oqB "xA+fuzUin#dʺ,_b ><ҩ0z$Kb 0}+71@|Pb/UP[ !@0C_i +uxҶjղ#<>$= 1l؟ָ:Y\,a.r+tX_4%.b\؟.:ߦiUZ]b\UOkc'М:nݹ̎:[;*BЎfy~+0DS]uWb WSR|oItrv;!MA$iM;|^]А.@b`@g;c3O eu wڹQU0VGo>Ѡ9T)]Uu•.pU*3\]cT>t#EJIp&P"V>8OP|ʹS ,T/R|\7yG檸P͓xUD:w/w ^9c ?=k'nFlXƙfKX\At4#=w䤥E91+p{@Ɵ8K ^w%V>7@8Ow/ V36F=Q4s\W#d&EK=it|)FϿ*6* GTxGu?O*S2xm>K v ?CzMJ:Ւ ͂ }w>eF&x>χ,67jQ%/ q5¸R?9݀r W@M#֊CKCgspc{)Z7畎?Ϫ^|WHsZ!J`HKy*aw0o*[Vvc yvPaaQ%ZרTC\=]O idpQ(&"B/8C12VW,xIJ} \ 9GʑH_$|/: 85vgfL!\f4Yp = Wsu퍷ٜ;M+B{Y|tnS'yLٟ.ęsS[/ń>^U:[ %Rk*ۃ-W{N#dV^ V)0Wax"ɯ8Ƿ[ʋ")-?ݿOO X blE$)'̶2Z]9eA51lMhs{W<֠hg̉qUxT y'LR4C$b}C;jǵ[l@.<=uFgQ3NACR/J)ݸD:htGWPkÑjm.\̈́%"<ێFlσ̦0^/;.QNUMZGNg& oߏC}^hE=_o>{O&7iXɑi!Z[L>ۧ@('3u/^g mn$ 77XTOθ"9V_z v10  $1Y? &WuZ^0-{䶯ã{TyXiDGCن)Դrʙ A_ [GٜN5򣖽07TJbԶ.`s-筨_Sv HEg[g&Y#!pZb"]pAzta˺ %Ȇوaj#tk> F歮jAHZڧ22v,9e-3x+-@NβƉS1i!́YԢ(V$><%sej'yTؗafQ/C}BE43VU'/L|D\W,`{4'J ;RnvM|ovu@dADL5IDй7dwnbb]JlW8LVR F<˧'+tw$]<;~S'J/Mt*`l~DoSv-m[Ih '")FÝ3`^ѐјn[׮g4$ z;l|orZ1G%9ql7dRm`:`G/$\8 U517@꽱YoB<+ԢRz_iZO2lk9ӗǰ$>I|S(tBI2{Nu;gk I]"9kg[.^= 0#b ʩTASU*2T^41%X&p/b)Ijgz ^3L'f~#x@dzPvsϥ%ce5w4]Dj3vZe\qOpL&f-\|8"sO5Jwu@<6Rn)}(RWj@D?9wxdv[^>衘S'Oව$?(1Za 3U:",?߰ʘ撑iK͒ =L⾸Ɍ(5Q7{A<֬YVV*"/u^?PDEjSo7m~J\q]evK0? -0(L#3'~KS {ub%:WdCw,&F^O)bfn_UҀnZvF~=^5[N؜xMXڙzτuI$ *ЩZ`O#9|6>\)3 z㯲|hy N>eb/5rcŖԹRw^(⭾֢dzs'N1ZuHo\Q11J@7LMP?!_~:L6&ՠLo@zz#o M=t'z) H.& %dٔR0)JNS=m=I$_`C0`\)#}eH=j*tU2 gv,o/LIњŊa oGC~>$ `˴3Ɲ$ETWNxߍ7gJΙ2 `0J(CSi/z\-$^ Bl@jNTؽ̻jz~NO"jb11Ʃ)]NKV HM,PՙrőF3k=& wqҥ% ɒ`Z'#<4 BYp}[)e %vS mQ+^)TJ QJU{DL3GmsJG6+BX8{mߓ)(ֆ>V\-3H1Z]m>l&+hIʌ$=MJHI_Rm2qbV2aqV"y>:CV"a93^:7GZj.|Ux& =Z'~3.2u@i1h3"~N:ƹo}\ J;?\OEVw"]3eh+L„Zoό*iE'I(:O jP%u r erLFD2q6#?cy_NVB큾uy%LQo';@+ќ#m5G_cSf94$,kV$Kl{Wvp`9,;tm^"mX! 0n"qݸ"jn꠸VUV*2_i2-@cneFd 3񳊊o9 DxW^2!Ō-0yuM\˿SPPf9NG.iہ=]=]iĺ3~'N0lH"^?NT'7l* bʿȋVBH@|ad'2 &P)RG y)Dl4gyxuյxZ׆?jk"cw1>gMg-`kZ=>\qP Q;ʂ0JZ7u-6ƎWЭ ^fr<'<]INE{_}]/B&:g`0{ʽA5g-GURPj0i-Yo#QȘHQ-#:D-t}ZQ]/H4 %h!~j⅔ qoBbrLVF1 a֨D@ZxDWd7՟?{gM< IkQoOڌ 3aԝa#!@֤/v]/3C~ؓYokD;ysZve6b;=1vZ9`CWy: qYX/`ex3 ;0d sem:ջ=;gM$˔* ?9>||/|JK9wBvsސgr OOpa"|-5vd@ιWq1(mX[b*/.GjccWTo/3NtBAdӫZ8evDiţ)(uO$s j%)1C|qn;fm ϯܡ4x0aW؁R$v#U$x҂GU-]4[Ԟ)2s m$¯I!lݕBgS@Fmf.vß6bA+gY雜f8yBpxۣx$BJ;@Oh+h%5'Fls]qobR=oShr̚Hm 2wlj*;%J7nry7UO<p~?ۡws'QLƗYlpwپG'ĥ`#'̢ lc4n 1j !6> up{w0jwEG[]/ׁNZY?m48$w9ҟqH^1}&U~ԯ  xxBu 0+z|PS[55,"S~0>6k*ltfC^B8c"C^|E46;N#GDLkmbȼHwR`6_h]ecqTCo*EjwlW"6\jS^~[8J/zmu+  %eOIHgK \=0]qvtmH|A:J!/5jV8D',=ޫQ\#|B޷C֦R;biằ3@K%͠$&dq6* >Ĥ ikGX[6s`%t'ثC)H>5ogx+'>?i7.CL ,R>+vf> \J*R,oq/8g:jiSgo99M7FrJ;$y-JqB.'1&3sflɬsf# nvDtߐ > /hR?# )i W<..z0 ʙ,GCƦ #bZɩemR,M/jܟ\ v@̫0D_!;]C t} T| 9"Jb>eCFvjB[0s #P;ő1!}+C&'%pTޟwqVN;xhTF P\xDD0|UN/%le *' ܛ\tNAB=4^<^r_4|7ɢ2N dBIԇ3ښ_1;Ues Ch eu=%C4saiB0M[0?tk#Mcm 7ˎ`lº]Y֏[_<ьvRqVB1Ĕ@SދVJ .v j+wr&O=^I(uC8JW;lGn}_nhN4UaXWdI +~ĚOT rz2-]`gծ|,޷|P݊ky&PuR\wOɫA3 h=QŬpC6/풖Y$N")pvh.{ͣoY;(O9E9ݷoײr {+I&"} #P!%Zp=9TvvE~S!h+doU#0Ёs> c:允1f3C ]ۂ:=rTJdtLb.",EAWJc`fYJЂsf7 wb>iAx`ǟ9ҧ`8CpUQ#y؇ QO MWik ¢q~ǹ˶r3QU7.o^n4P{% butc~a+}۞|[8a3ƭ|5EߝW:ENtήX!SH^~"@EO+6TY%ZT!XGMͅΙdwwmcNBW|ysr'oe顃}vlSEo-h?ص ]k0ᖫ0f٘og7<NWZY "z4m-]V~;Y) B{~KU¹]a.g~ Έ ZvaAa-.ėIIO'ͭReDNٺ35,(<gH]gs)UhKeq8K  &$<,͛ ..&th$vJ$a}<eQ3.E8~KJO6xlMh^ ́?ND'C &"z g+Y>3bV YxONr2% T :c^H}F --{16q0.cS5 xE|q468ģ &J >bm$§"}]8X6<سnd%kq`IH LJ*,.u&hri@#+*pzZs, R%U&K$dQj̷ٚI]Rv+5Wv&:l:Ȍb~7(2_PqNzCwmD lkE~gWkEk-&,}8ˢw+Z;z"EGPc 5V-3$ȶs8֌qfI"m6~`ۊ@((]p:|=|͕ ͵jIJgC:8{\BtH#f/}|W/KwN C<l*B%P imQCQr^>x*ʈRgK$n\i4q)7 7:ECRwDwX}m{sz kqL b璜?'8_ѓEwA:MDUO5κ; FS _|&KR)]u :o\n4?yYtQZr*lSk͌ɰy{EO( 'pUvց,G9 ]1iCt:Tu 0Q kfLYDVvv h b=u1zh^©s 'h l_;eIhۚDﻃ@vF; ՜6y7En=7[cza$q,S4kQy)^j@#溅 R3ب_޻6G>}R1h:w]?~&[@=;"cBre_"<*:dv d )π()84HEV9#6CO(ϱo/Yiŀ4! hļ_'?$Bu}v?8y'Jb2<1X~3JE @Uq8J”` w|:$,;~=$;}ǧTέ}-n^ J.ln7JD?yҴtU5VcJ4-(6ȥUyqmXuapJeBEfHl$ s@-9?.69ydwDXÞ痝Rsu].X愱M`tuFCj|QO8ւaa=J-]Bt-wocjһ8݂izS,=F)#R]MjTdԕ+>%u1ɾ@ik{"˸ OdEM3`*.H_9 I5lIn:a<,?/I 9bW-UHaMÌ(JOPl(9bew=,ێt2nZ-1ۛ"6 FThiaAg}.z7GF%3uStzG$]w @O5 DL@= <ۇqBx!%] ,)%N2sD5A&(!=g !=fP׏l=-uP{#"p)Zkr0d=,Rl* tr.noRD|O՞D{)e|pF p1u[i-86$#Hu @hNb܀= ~Ǭ 'kJ ŇEczlr\=AhW-y (#2ۭBlӘhLo ϟ&嫥I~s 7<ûejD)"8mzK|eΑj?Y@^~Wno1IyKeD:}8Up$lڜ[IbU{ԈP"%ewwdOS",;dmo!C,!@??ijПL11Sh\#3ƥA= DY,}lH$W`C$tkhNJ9I>vɱhX1OŌ֦>y3 mI8 (s} UǗ`[fg3EfH{n7 px Ɲu@F<+Mkp~'KZq!:lrI0~6aDYSǤnpnhB)s=Y:X` ~@}ϝ"?%KZ2']m|zVo1[j3;t1jq+Ԝ@!r%*7yrQ{XDg_;;N4d$fpeU~٘zCTdjpuA9*'}.9|*h+{źޟ{\l7Ik!eȴ\|bF-m(iJ."dt@OXYӏ[X j#\+unv|j&`G{ ItL&MO*;N[HMg,(P˨fz#hb!9X˹`8[Mz8[\_ B ~F[GT_E{ Y$1o\x~,SD|MM$fkJfAG)n UIWws ^*-+ &(}^LFTM:CzJ=C j9<:18w).jHJ;@pkGh?\}9?c{Yd]bx_1xw oh"Y"R빊WZiz;V|h{nSIA1[78Q2P2&C2x ?=1H(~h+E>iMe^4mWݥ;@Dj-N쇛I%7<suoem\|ܨI:T*\;ؒۯ{çM_zSJq\rin=K ג[81yئU|`@]* :u^R}&{o9X`E`Rge ۇK#+-{~ X |j0[X5yjIDsD|O1:`Y~1vOj;ԓd#_%bHqެXc;Skzl»>w+Խ3$Y{%IM/d Ern\&>'0x({8vN叇:>X.Ye~oOˎH#s12+o8Ye_39`(aŮu +M<~+Y^!g@c䝳w[)&cGw.ŘF } LĠ69uF.;~ҤZtپ9"R)\=be["y 7VeVuW4EM."aX]58A7T{Pޞ tC͍M̕X%{i %!ÛȮ} OVXkܥ6+=(CQ˫f c,2`7ѩUXڽ UrVA經kXLI:q4E#r/nҥDr#cp2st';*jnoAl_?kr||J]\O"iB/Јsifԃ ņ@ksuչ5ߔڴj'9ov UM M?jnYHx'CZ@Q|-Bo;Ϋ C^\[e?ĕl~ȸYuv jE[ppM*X8Z&mM1^XUzI_ VgYZ5a7ad507d64421ef5b3ebd01cebe3865f7c57a6d76d22b6c786bc87080ed5f5232a8a31dbb21683c 342e01c78691071ef5c86ee5b5db95026e57b1c5a95f93d1eea5eefcd9a6e7266d0f61aea45f880f