<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
I think the work around is to enter a dummy goal in the page. Then C-c C-n works - at least that was the workaround for parametrized modules.</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Of course it would be nicer if one could have a switch which switches a buffer into that mode (and back again) without having to create the dummy goal. But I'm not an Agda implementor, so it's difficult for me to judge how complexthat would be.</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Anton<br>
</div>
<div>
<div id="appendonsend"></div>
<div style="font-family:Calibri,Arial,Helvetica,sans-serif; font-size:12pt; color:rgb(0,0,0)">
<br>
</div>
<hr tabindex="-1" style="display:inline-block; width:98%">
<div id="divRplyFwdMsg" dir="ltr"><font style="font-size:11pt" face="Calibri, sans-serif" color="#000000"><b>From:</b> Agda <agda-bounces@lists.chalmers.se> on behalf of Andreas Abel <andreas.abel@ifi.lmu.de><br>
<b>Sent:</b> 03 February 2022 11:07<br>
<b>To:</b> Thorsten Altenkirch <Thorsten.Altenkirch@nottingham.ac.uk>; Jesper Cockx <Jesper@sikanda.be>; Eduardo Ochs <eduardoochs@gmail.com><br>
<b>Cc:</b> agda list <agda@lists.chalmers.se><br>
<b>Subject:</b> Re: [Agda] Quirk: C-c C-n thinks that some symbols are not in scope</font>
<div> </div>
</div>
<div class="BodyFragment"><font size="2"><span style="font-size:11pt">
<div class="PlainText">Hi Thorsten,<br>
<br>
On 2022-02-02 12:19, Thorsten Altenkirch wrote:<br>
> This is really bad from a paedagogical perspective if you use agda for <br>
> teaching!<br>
<br>
I agree. This issue is reported again and again, e.g.<br>
<br>
<a href="https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fagda%2Fagda%2Fissues%2F5666&data=04%7C01%7CA.G.Setzer%40Swansea.ac.uk%7C692dac50207c4d9418e308d9e70567f8%7Cbbcab52e9fbe43d6a2f39f66c43df268%7C0%7C0%7C637794834615253438%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=Av9%2BuPjxegeuJKl7WciwIOoKXVagwlNK0fySX%2F7o8Uo%3D&reserved=0">
https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fagda%2Fagda%2Fissues%2F5666&data=04%7C01%7CA.G.Setzer%40Swansea.ac.uk%7C692dac50207c4d9418e308d9e70567f8%7Cbbcab52e9fbe43d6a2f39f66c43df268%7C0%7C0%7C637794834615253438%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=Av9%2BuPjxegeuJKl7WciwIOoKXVagwlNK0fySX%2F7o8Uo%3D&reserved=0</a><br>
<br>
I attempted to fix this issue once, but this caused inconveniences for <br>
power users (costly reloads).<br>
<br>
<a href="https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fagda%2Fagda%2Fissues%2F4959&data=04%7C01%7CA.G.Setzer%40Swansea.ac.uk%7C692dac50207c4d9418e308d9e70567f8%7Cbbcab52e9fbe43d6a2f39f66c43df268%7C0%7C0%7C637794834615253438%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=JYR2wWUF47rCome2jzZFr9ETfrgEgSn7jMg%2Baz44HJ8%3D&reserved=0">
https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fagda%2Fagda%2Fissues%2F4959&data=04%7C01%7CA.G.Setzer%40Swansea.ac.uk%7C692dac50207c4d9418e308d9e70567f8%7Cbbcab52e9fbe43d6a2f39f66c43df268%7C0%7C0%7C637794834615253438%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=JYR2wWUF47rCome2jzZFr9ETfrgEgSn7jMg%2Baz44HJ8%3D&reserved=0</a><br>
<br>
> Is there nobody who could implement a read-eval-print loop for agda? It <br>
> shouldn’t be that difficult?<br>
<br>
The current REPL fell into repair:<br>
<br>
<a href="https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fagda%2Fagda%2Fissues%2F5100&data=04%7C01%7CA.G.Setzer%40Swansea.ac.uk%7C692dac50207c4d9418e308d9e70567f8%7Cbbcab52e9fbe43d6a2f39f66c43df268%7C0%7C0%7C637794834615253438%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=nX9GhihGIwS7ZEQCRHw3HF%2Bh4xKD36isymb8vmlG%2FrI%3D&reserved=0">
https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fagda%2Fagda%2Fissues%2F5100&data=04%7C01%7CA.G.Setzer%40Swansea.ac.uk%7C692dac50207c4d9418e308d9e70567f8%7Cbbcab52e9fbe43d6a2f39f66c43df268%7C0%7C0%7C637794834615253438%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=nX9GhihGIwS7ZEQCRHw3HF%2Bh4xKD36isymb8vmlG%2FrI%3D&reserved=0</a><br>
<br>
But otherwise, would agda --interactive meet your expectations of a REPL?<br>
<br>
Cheers,<br>
Andreas<br>
<br>
> *From: *Agda <agda-bounces@lists.chalmers.se> on behalf of Jesper Cockx <br>
> <Jesper@sikanda.be><br>
> *Date: *Tuesday, 1 February 2022 at 20:01<br>
> *To: *Eduardo Ochs <eduardoochs@gmail.com><br>
> *Cc: *agda list <agda@lists.chalmers.se><br>
> *Subject: *Re: [Agda] Quirk: C-c C-n thinks that some symbols are not in <br>
> scope<br>
> <br>
> Hi Eduardo,<br>
> <br>
> C-c c-n evaluates the given expression in the scope of the current <br>
> module as it looks like from the outside (i.e. as if you import the <br>
> module somewhere else). In particular, this scope does not include <br>
> symbols from modules you have opened, unless they have been opened <br>
> publicly. So I expect you can solve your problem by adding 'public' to <br>
> the end of your open statements, e.g. 'open Add "2" public'.<br>
> <br>
> -- Jesper<br>
> <br>
> On Tue, Feb 1, 2022 at 8:12 PM Eduardo Ochs <eduardoochs@gmail.com <br>
> <<a href="mailto:eduardoochs@gmail.com">mailto:eduardoochs@gmail.com</a>>> wrote:<br>
> <br>
> Hello list,<br>
> <br>
> I think that I found a quirk on the behavior of `C-c C-n'. When I was<br>
> trying to write a minimal example that showed the problem I wrote<br>
> this, that isn't really minimal but that should be minimal enough...<br>
> <br>
> module NameOfThisFile where<br>
> <br>
> open import Agda.Builtin.String<br>
> open import Agda.Builtin.String.Properties<br>
> <br>
> infixl 4 _++_<br>
> _++_ : String -> String -> String<br>
> _++_ str1 str2 = primStringAppend str1 str2<br>
> <br>
> module Add (i : String) where<br>
> infixl 4 _+++_<br>
> add : String -> String -> String<br>
> add a b = "(" ++ a ++ " +_" ++ i ++ " " ++ b ++ ")"<br>
> _+++_ : String -> String -> String<br>
> _+++_ a b = add a b<br>
> <br>
> module Add0 = Add "0"<br>
> module Add1 = Add "1"<br>
> -- open Add0<br>
> open Add "2"<br>
> <br>
> aa : String<br>
> aa = "AAA"<br>
> bb : String<br>
> bb = "BBB"<br>
> cc : String<br>
> cc = aa +++ bb<br>
> <br>
> -- (find-agdanorm "aa ++ bb")<br>
> -- (find-agdanorm "Add.add \"4\" aa bb")<br>
> -- (find-agdanorm "Add0.add aa bb")<br>
> -- (find-agdanorm "Add._+++_ \"9\" aa bb")<br>
> -- (find-agdanorm "Add0._+++_ aa bb")<br>
> -- (find-agdanorm "aa Add0.+++ bb")<br>
> -- (find-agdanorm "aa +++ bb")<br>
> -- (find-agdanorm "_+++_")<br>
> -- (find-agdatype "_+++_")<br>
> -- (find-agdanorm "cc")<br>
> <br>
> The sexps like (find-agdanorm "<expr>") in comments use a hack that I<br>
> wrote that is simple to explain. The docstring of find-agdanorm is:<br>
> <br>
> (find-agdanorm AGDAEXPR &rest REST)<br>
> <br>
> Show the normalized value of AGDAEXPR in the buffer "*Normal Form*".<br>
> This function goes to the beginning of the Agda comment in the<br>
> current line, i.e., to the first occurrence of "--" in the<br>
> current line, and the runs ‘C-c C-n AGDAEXPR RET’ there.<br>
> This only works in agda2-mode. This is a quick hack!<br>
> <br>
> If I go to the beginning of the line with the<br>
> <br>
> -- (find-agdanorm "aa +++ bb")<br>
> <br>
> and I type `C-c C-n aa +++ bb RET' there - or if I execute the sexp -<br>
> Agda tells me that the _+++_ is not in scope, and the same happens<br>
> with this one here:<br>
> <br>
> -- (find-agdanorm "_+++_")<br>
> <br>
> I get the same "Not in scope" if I use `C-c C-d _+++_' to get the type<br>
> of _+++_... but the last sexp,<br>
> <br>
> -- (find-agdanorm "cc")<br>
> <br>
> works, and it shows that the normalized value of cc is this:<br>
> <br>
> "(AAA +_2 BBB)"<br>
> <br>
> All the other sexps work as expected without errors.<br>
> <br>
> Is that behavior documented? It seems that `C-c C-n' and `C-c C-d' are<br>
> ignoring some symbols that were brought into scope by this line,<br>
> <br>
> open Add "2"<br>
> <br>
> and for me this is unexpected & bad.<br>
> <br>
> I am using Agda 2.6.1.3 - I don't have the current version here.<br>
> I've put more info, links, and a screenshot in this page:<br>
> <br>
> <a href="https://eur03.safelinks.protection.outlook.com/?url=http%3A%2F%2Fangg.twu.net%2Feev-agda.html&data=04%7C01%7CA.G.Setzer%40Swansea.ac.uk%7C692dac50207c4d9418e308d9e70567f8%7Cbbcab52e9fbe43d6a2f39f66c43df268%7C0%7C0%7C637794834615253438%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=zFA9tRWoFLu%2BZM3%2Bd9mFIdsSltDsihqG%2FkcG95gEHwQ%3D&reserved=0">
https://eur03.safelinks.protection.outlook.com/?url=http%3A%2F%2Fangg.twu.net%2Feev-agda.html&data=04%7C01%7CA.G.Setzer%40Swansea.ac.uk%7C692dac50207c4d9418e308d9e70567f8%7Cbbcab52e9fbe43d6a2f39f66c43df268%7C0%7C0%7C637794834615253438%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=zFA9tRWoFLu%2BZM3%2Bd9mFIdsSltDsihqG%2FkcG95gEHwQ%3D&reserved=0</a>
<<a href="https://eur03.safelinks.protection.outlook.com/?url=http%3A%2F%2Fangg.twu.net%2Feev-agda.html&data=04%7C01%7CA.G.Setzer%40Swansea.ac.uk%7C692dac50207c4d9418e308d9e70567f8%7Cbbcab52e9fbe43d6a2f39f66c43df268%7C0%7C0%7C637794834615253438%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=zFA9tRWoFLu%2BZM3%2Bd9mFIdsSltDsihqG%2FkcG95gEHwQ%3D&reserved=0">https://eur03.safelinks.protection.outlook.com/?url=http%3A%2F%2Fangg.twu.net%2Feev-agda.html&data=04%7C01%7CA.G.Setzer%40Swansea.ac.uk%7C692dac50207c4d9418e308d9e70567f8%7Cbbcab52e9fbe43d6a2f39f66c43df268%7C0%7C0%7C637794834615253438%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=zFA9tRWoFLu%2BZM3%2Bd9mFIdsSltDsihqG%2FkcG95gEHwQ%3D&reserved=0</a>><br>
> <br>
> Thanks in advance!<br>
> Eduardo Ochs<br>
> <a href="https://eur03.safelinks.protection.outlook.com/?url=http%3A%2F%2Fangg.twu.net%2F%23eev&data=04%7C01%7CA.G.Setzer%40Swansea.ac.uk%7C692dac50207c4d9418e308d9e70567f8%7Cbbcab52e9fbe43d6a2f39f66c43df268%7C0%7C0%7C637794834615253438%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=cehRlfmBdTT0%2B7C45NxWQFldaAuu3No4HY2Xeqc1OTU%3D&reserved=0">
https://eur03.safelinks.protection.outlook.com/?url=http%3A%2F%2Fangg.twu.net%2F%23eev&data=04%7C01%7CA.G.Setzer%40Swansea.ac.uk%7C692dac50207c4d9418e308d9e70567f8%7Cbbcab52e9fbe43d6a2f39f66c43df268%7C0%7C0%7C637794834615253438%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=cehRlfmBdTT0%2B7C45NxWQFldaAuu3No4HY2Xeqc1OTU%3D&reserved=0</a>
<<a href="https://eur03.safelinks.protection.outlook.com/?url=http%3A%2F%2Fangg.twu.net%2F%23eev&data=04%7C01%7CA.G.Setzer%40Swansea.ac.uk%7C692dac50207c4d9418e308d9e70567f8%7Cbbcab52e9fbe43d6a2f39f66c43df268%7C0%7C0%7C637794834615253438%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=cehRlfmBdTT0%2B7C45NxWQFldaAuu3No4HY2Xeqc1OTU%3D&reserved=0">https://eur03.safelinks.protection.outlook.com/?url=http%3A%2F%2Fangg.twu.net%2F%23eev&data=04%7C01%7CA.G.Setzer%40Swansea.ac.uk%7C692dac50207c4d9418e308d9e70567f8%7Cbbcab52e9fbe43d6a2f39f66c43df268%7C0%7C0%7C637794834615253438%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=cehRlfmBdTT0%2B7C45NxWQFldaAuu3No4HY2Xeqc1OTU%3D&reserved=0</a>><br>
> <br>
> _______________________________________________<br>
> Agda mailing list<br>
> Agda@lists.chalmers.se <<a href="mailto:Agda@lists.chalmers.se">mailto:Agda@lists.chalmers.se</a>><br>
> <a href="https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Flists.chalmers.se%2Fmailman%2Flistinfo%2Fagda&data=04%7C01%7CA.G.Setzer%40Swansea.ac.uk%7C692dac50207c4d9418e308d9e70567f8%7Cbbcab52e9fbe43d6a2f39f66c43df268%7C0%7C0%7C637794834615253438%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=X56t16avqKJdZ0pxjmluKX1WZGkji7tpNqdwDdHmKX0%3D&reserved=0">
https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Flists.chalmers.se%2Fmailman%2Flistinfo%2Fagda&data=04%7C01%7CA.G.Setzer%40Swansea.ac.uk%7C692dac50207c4d9418e308d9e70567f8%7Cbbcab52e9fbe43d6a2f39f66c43df268%7C0%7C0%7C637794834615253438%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=X56t16avqKJdZ0pxjmluKX1WZGkji7tpNqdwDdHmKX0%3D&reserved=0</a><br>
> <<a href="https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Flists.chalmers.se%2Fmailman%2Flistinfo%2Fagda&data=04%7C01%7CA.G.Setzer%40Swansea.ac.uk%7C692dac50207c4d9418e308d9e70567f8%7Cbbcab52e9fbe43d6a2f39f66c43df268%7C0%7C0%7C637794834615253438%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=X56t16avqKJdZ0pxjmluKX1WZGkji7tpNqdwDdHmKX0%3D&reserved=0">https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Flists.chalmers.se%2Fmailman%2Flistinfo%2Fagda&data=04%7C01%7CA.G.Setzer%40Swansea.ac.uk%7C692dac50207c4d9418e308d9e70567f8%7Cbbcab52e9fbe43d6a2f39f66c43df268%7C0%7C0%7C637794834615253438%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=X56t16avqKJdZ0pxjmluKX1WZGkji7tpNqdwDdHmKX0%3D&reserved=0</a>><br>
> <br>
> This message and any attachment are intended solely for the addressee<br>
> and may contain confidential information. If you have received this<br>
> message in error, please contact the sender and delete the email and<br>
> attachment.<br>
> <br>
> Any views or opinions expressed by the author of this email do not<br>
> necessarily reflect the views of the University of Nottingham. Email<br>
> communications with the University of Nottingham may be monitored<br>
> where permitted by law.<br>
> <br>
> <br>
> <br>
> <br>
> _______________________________________________<br>
> Agda mailing list<br>
> Agda@lists.chalmers.se<br>
> <a href="https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Flists.chalmers.se%2Fmailman%2Flistinfo%2Fagda&data=04%7C01%7CA.G.Setzer%40Swansea.ac.uk%7C692dac50207c4d9418e308d9e70567f8%7Cbbcab52e9fbe43d6a2f39f66c43df268%7C0%7C0%7C637794834615253438%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=X56t16avqKJdZ0pxjmluKX1WZGkji7tpNqdwDdHmKX0%3D&reserved=0">
https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Flists.chalmers.se%2Fmailman%2Flistinfo%2Fagda&data=04%7C01%7CA.G.Setzer%40Swansea.ac.uk%7C692dac50207c4d9418e308d9e70567f8%7Cbbcab52e9fbe43d6a2f39f66c43df268%7C0%7C0%7C637794834615253438%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=X56t16avqKJdZ0pxjmluKX1WZGkji7tpNqdwDdHmKX0%3D&reserved=0</a><br>
_______________________________________________<br>
Agda mailing list<br>
Agda@lists.chalmers.se<br>
<a href="https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Flists.chalmers.se%2Fmailman%2Flistinfo%2Fagda&data=04%7C01%7CA.G.Setzer%40Swansea.ac.uk%7C692dac50207c4d9418e308d9e70567f8%7Cbbcab52e9fbe43d6a2f39f66c43df268%7C0%7C0%7C637794834615253438%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=X56t16avqKJdZ0pxjmluKX1WZGkji7tpNqdwDdHmKX0%3D&reserved=0">https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Flists.chalmers.se%2Fmailman%2Flistinfo%2Fagda&data=04%7C01%7CA.G.Setzer%40Swansea.ac.uk%7C692dac50207c4d9418e308d9e70567f8%7Cbbcab52e9fbe43d6a2f39f66c43df268%7C0%7C0%7C637794834615253438%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=X56t16avqKJdZ0pxjmluKX1WZGkji7tpNqdwDdHmKX0%3D&reserved=0</a><br>
</div>
</span></font></div>
</div>
</body>
</html>