Deploying to gh-pages from @ b3738bf 🚀

agda · Oct 31, 2023 · 2560f27 · 2560f27
1 parent d078c91
commit 2560f27
Show file tree

Hide file tree

Showing 5 changed files with 42 additions and 42 deletions.
diff --git a/Cubical.Cohomology.EilenbergMacLane.CupProduct.html b/Cubical.Cohomology.EilenbergMacLane.CupProduct.html
@@ -193,13 +193,13 @@
   <a id="6508" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6508" class="Function">⌣-1ₕDep</a> <a id="6516" class="Symbol">:</a> <a id="6518" class="Symbol">(</a><a id="6519" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6519" class="Bound">n</a> <a id="6521" class="Symbol">:</a> <a id="6523" href="Agda.Builtin.Nat.html#203" class="Datatype">ℕ</a><a id="6524" class="Symbol">)</a> <a id="6526" class="Symbol">(</a><a id="6527" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6527" class="Bound">x</a> <a id="6529" class="Symbol">:</a> <a id="6531" href="Cubical.Cohomology.EilenbergMacLane.Base.html#1308" class="Function">coHom</a> <a id="6537" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6519" class="Bound">n</a> <a id="6539" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6483" class="Function">G&#39;</a> <a id="6542" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6450" class="Bound">A</a><a id="6543" class="Symbol">)</a>
     <a id="6549" class="Symbol">→</a> <a id="6551" href="Agda.Primitive.Cubical.html#2013" class="Postulate">PathP</a> <a id="6557" class="Symbol">(λ</a> <a id="6560" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6560" class="Bound">i</a> <a id="6562" class="Symbol">→</a> <a id="6564" href="Cubical.Cohomology.EilenbergMacLane.Base.html#1308" class="Function">coHom</a> <a id="6570" class="Symbol">(</a><a id="6571" href="Cubical.Data.Nat.Properties.html#8844" class="Function">+&#39;-comm</a> <a id="6579" href="Agda.Builtin.Nat.html#221" class="InductiveConstructor">zero</a> <a id="6584" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6519" class="Bound">n</a> <a id="6586" class="Symbol">(</a><a id="6587" href="Cubical.Core.Primitives.html#501" class="Primitive Operator">~</a> <a id="6589" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6560" class="Bound">i</a><a id="6590" class="Symbol">))</a> <a id="6593" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6483" class="Function">G&#39;</a> <a id="6596" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6450" class="Bound">A</a><a id="6597" class="Symbol">)</a> <a id="6599" class="Symbol">(</a><a id="6600" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6527" class="Bound">x</a> <a id="6602" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#1426" class="Function Operator">⌣</a> <a id="6604" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#1369" class="Function">1ₕ</a><a id="6606" class="Symbol">)</a> <a id="6608" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6527" class="Bound">x</a>
   <a id="6612" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6508" class="Function">⌣-1ₕDep</a> <a id="6620" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6620" class="Bound">n</a> <a id="6622" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6622" class="Bound">x</a> <a id="6624" class="Symbol">=</a> <a id="6626" href="Cubical.Foundations.Prelude.html#12952" class="Function">toPathP</a> <a id="6634" class="Symbol">{</a><a id="6635" class="Argument">A</a> <a id="6637" class="Symbol">=</a> <a id="6639" class="Symbol">λ</a> <a id="6641" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6641" class="Bound">i</a> <a id="6643" class="Symbol">→</a> <a id="6645" href="Cubical.Cohomology.EilenbergMacLane.Base.html#1308" class="Function">coHom</a> <a id="6651" class="Symbol">(</a><a id="6652" href="Cubical.Data.Nat.Properties.html#8844" class="Function">+&#39;-comm</a> <a id="6660" href="Agda.Builtin.Nat.html#221" class="InductiveConstructor">zero</a> <a id="6665" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6620" class="Bound">n</a> <a id="6667" class="Symbol">(</a><a id="6668" href="Cubical.Core.Primitives.html#501" class="Primitive Operator">~</a> <a id="6670" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6641" class="Bound">i</a><a id="6671" class="Symbol">))</a> <a id="6674" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6483" class="Function">G&#39;</a> <a id="6677" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6450" class="Bound">A</a><a id="6678" class="Symbol">}</a>
-                        <a id="6704" class="Symbol">(</a><a id="6705" href="Cubical.Foundations.Transport.html#8512" class="Function">flipTransport</a> <a id="6719" class="Symbol">(</a><a id="6720" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#1897" class="Function">⌣-1ₕ</a> <a id="6725" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6620" class="Bound">n</a> <a id="6727" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6622" class="Bound">x</a><a id="6728" class="Symbol">))</a>
+                        <a id="6704" class="Symbol">(</a><a id="6705" href="Cubical.Foundations.Transport.html#8528" class="Function">flipTransport</a> <a id="6719" class="Symbol">(</a><a id="6720" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#1897" class="Function">⌣-1ₕ</a> <a id="6725" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6620" class="Bound">n</a> <a id="6727" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6622" class="Bound">x</a><a id="6728" class="Symbol">))</a>
 
   <a id="6734" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6734" class="Function">assoc⌣Dep</a> <a id="6744" class="Symbol">:</a> <a id="6746" class="Symbol">(</a><a id="6747" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6747" class="Bound">n</a> <a id="6749" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6749" class="Bound">m</a> <a id="6751" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6751" class="Bound">l</a> <a id="6753" class="Symbol">:</a> <a id="6755" href="Agda.Builtin.Nat.html#203" class="Datatype">ℕ</a><a id="6756" class="Symbol">)</a>
        <a id="6765" class="Symbol">(</a><a id="6766" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6766" class="Bound">x</a> <a id="6768" class="Symbol">:</a> <a id="6770" href="Cubical.Cohomology.EilenbergMacLane.Base.html#1308" class="Function">coHom</a> <a id="6776" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6747" class="Bound">n</a> <a id="6778" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6483" class="Function">G&#39;</a> <a id="6781" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6450" class="Bound">A</a><a id="6782" class="Symbol">)</a> <a id="6784" class="Symbol">(</a><a id="6785" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6785" class="Bound">y</a> <a id="6787" class="Symbol">:</a> <a id="6789" href="Cubical.Cohomology.EilenbergMacLane.Base.html#1308" class="Function">coHom</a> <a id="6795" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6749" class="Bound">m</a> <a id="6797" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6483" class="Function">G&#39;</a> <a id="6800" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6450" class="Bound">A</a><a id="6801" class="Symbol">)</a> <a id="6803" class="Symbol">(</a><a id="6804" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6804" class="Bound">z</a> <a id="6806" class="Symbol">:</a> <a id="6808" href="Cubical.Cohomology.EilenbergMacLane.Base.html#1308" class="Function">coHom</a> <a id="6814" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6751" class="Bound">l</a> <a id="6816" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6483" class="Function">G&#39;</a> <a id="6819" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6450" class="Bound">A</a><a id="6820" class="Symbol">)</a>
     <a id="6826" class="Symbol">→</a> <a id="6828" href="Agda.Primitive.Cubical.html#2013" class="Postulate">PathP</a> <a id="6834" class="Symbol">(λ</a> <a id="6837" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6837" class="Bound">i</a> <a id="6839" class="Symbol">→</a> <a id="6841" href="Cubical.Cohomology.EilenbergMacLane.Base.html#1308" class="Function">coHom</a> <a id="6847" class="Symbol">(</a><a id="6848" href="Cubical.Data.Nat.Properties.html#8942" class="Function">+&#39;-assoc</a> <a id="6857" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6747" class="Bound">n</a> <a id="6859" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6749" class="Bound">m</a> <a id="6861" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6751" class="Bound">l</a> <a id="6863" class="Symbol">(</a><a id="6864" href="Cubical.Core.Primitives.html#501" class="Primitive Operator">~</a> <a id="6866" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6837" class="Bound">i</a><a id="6867" class="Symbol">))</a> <a id="6870" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6483" class="Function">G&#39;</a> <a id="6873" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6450" class="Bound">A</a><a id="6874" class="Symbol">)</a> <a id="6876" class="Symbol">((</a><a id="6878" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6766" class="Bound">x</a> <a id="6880" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#1426" class="Function Operator">⌣</a> <a id="6882" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6785" class="Bound">y</a><a id="6883" class="Symbol">)</a> <a id="6885" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#1426" class="Function Operator">⌣</a> <a id="6887" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6804" class="Bound">z</a><a id="6888" class="Symbol">)</a> <a id="6890" class="Symbol">(</a><a id="6891" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6766" class="Bound">x</a> <a id="6893" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#1426" class="Function Operator">⌣</a> <a id="6895" class="Symbol">(</a><a id="6896" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6785" class="Bound">y</a> <a id="6898" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#1426" class="Function Operator">⌣</a> <a id="6900" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6804" class="Bound">z</a><a id="6901" class="Symbol">))</a>
   <a id="6906" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6734" class="Function">assoc⌣Dep</a> <a id="6916" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6916" class="Bound">n</a> <a id="6918" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6918" class="Bound">m</a> <a id="6920" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6920" class="Bound">l</a> <a id="6922" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6922" class="Bound">x</a> <a id="6924" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6924" class="Bound">y</a> <a id="6926" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6926" class="Bound">z</a> <a id="6928" class="Symbol">=</a> <a id="6930" href="Cubical.Foundations.Prelude.html#12952" class="Function">toPathP</a> <a id="6938" class="Symbol">{</a><a id="6939" class="Argument">A</a> <a id="6941" class="Symbol">=</a> <a id="6943" class="Symbol">λ</a> <a id="6945" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6945" class="Bound">i</a> <a id="6947" class="Symbol">→</a> <a id="6949" href="Cubical.Cohomology.EilenbergMacLane.Base.html#1308" class="Function">coHom</a> <a id="6955" class="Symbol">(</a><a id="6956" href="Cubical.Data.Nat.Properties.html#8942" class="Function">+&#39;-assoc</a> <a id="6965" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6916" class="Bound">n</a> <a id="6967" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6918" class="Bound">m</a> <a id="6969" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6920" class="Bound">l</a> <a id="6971" class="Symbol">(</a><a id="6972" href="Cubical.Core.Primitives.html#501" class="Primitive Operator">~</a> <a id="6974" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6945" class="Bound">i</a><a id="6975" class="Symbol">))</a> <a id="6978" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6483" class="Function">G&#39;</a> <a id="6981" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6450" class="Bound">A</a><a id="6982" class="Symbol">}</a>
-                                  <a id="7018" class="Symbol">(</a><a id="7019" href="Cubical.Foundations.Transport.html#8512" class="Function">flipTransport</a> <a id="7033" class="Symbol">(</a><a id="7034" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#2980" class="Function">assoc⌣</a> <a id="7041" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6916" class="Bound">n</a> <a id="7043" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6918" class="Bound">m</a> <a id="7045" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6920" class="Bound">l</a> <a id="7047" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6922" class="Bound">x</a> <a id="7049" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6924" class="Bound">y</a> <a id="7051" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6926" class="Bound">z</a><a id="7052" class="Symbol">))</a>
+                                  <a id="7018" class="Symbol">(</a><a id="7019" href="Cubical.Foundations.Transport.html#8528" class="Function">flipTransport</a> <a id="7033" class="Symbol">(</a><a id="7034" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#2980" class="Function">assoc⌣</a> <a id="7041" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6916" class="Bound">n</a> <a id="7043" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6918" class="Bound">m</a> <a id="7045" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6920" class="Bound">l</a> <a id="7047" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6922" class="Bound">x</a> <a id="7049" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6924" class="Bound">y</a> <a id="7051" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#6926" class="Bound">z</a><a id="7052" class="Symbol">))</a>
 
 <a id="7056" class="Keyword">module</a> <a id="7063" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#7063" class="Module">_</a> <a id="7065" class="Symbol">{</a><a id="7066" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#7066" class="Bound">G&#39;&#39;</a> <a id="7070" class="Symbol">:</a> <a id="7072" href="Cubical.Algebra.CommRing.Base.html#1279" class="Function">CommRing</a> <a id="7081" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#1146" class="Generalizable">ℓ</a><a id="7082" class="Symbol">}</a> <a id="7084" class="Symbol">{</a><a id="7085" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#7085" class="Bound">A</a> <a id="7087" class="Symbol">:</a> <a id="7089" href="Agda.Primitive.html#388" class="Primitive">Type</a> <a id="7094" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#1148" class="Generalizable">ℓ&#39;</a><a id="7096" class="Symbol">}</a> <a id="7098" class="Keyword">where</a>
   <a id="7106" class="Keyword">private</a>
@@ -209,5 +209,5 @@
              <a id="7270" class="Symbol">(</a><a id="7271" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#7169" class="Bound">x</a> <a id="7273" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#1426" class="Function Operator">⌣</a> <a id="7275" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#7188" class="Bound">y</a><a id="7276" class="Symbol">)</a> <a id="7278" class="Symbol">(</a><a id="7279" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#3565" class="Function Operator">-ₕ^[</a> <a id="7284" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#7158" class="Bound">n</a> <a id="7286" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#3565" class="Function Operator">·</a> <a id="7288" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#7160" class="Bound">m</a> <a id="7290" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#3565" class="Function Operator">]</a> <a id="7292" class="Symbol">(</a><a id="7293" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#7188" class="Bound">y</a> <a id="7295" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#1426" class="Function Operator">⌣</a> <a id="7297" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#7169" class="Bound">x</a><a id="7298" class="Symbol">))</a>
   <a id="7303" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#7146" class="Function">comm⌣Dep</a> <a id="7312" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#7312" class="Bound">n</a> <a id="7314" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#7314" class="Bound">m</a> <a id="7316" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#7316" class="Bound">x</a> <a id="7318" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#7318" class="Bound">y</a> <a id="7320" class="Symbol">=</a>
     <a id="7326" href="Cubical.Foundations.Prelude.html#12952" class="Function">toPathP</a> <a id="7334" class="Symbol">{</a><a id="7335" class="Argument">A</a> <a id="7337" class="Symbol">=</a> <a id="7339" class="Symbol">λ</a> <a id="7341" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#7341" class="Bound">i</a> <a id="7343" class="Symbol">→</a> <a id="7345" href="Cubical.Cohomology.EilenbergMacLane.Base.html#1308" class="Function">coHom</a> <a id="7351" class="Symbol">(</a><a id="7352" href="Cubical.Data.Nat.Properties.html#8844" class="Function">+&#39;-comm</a> <a id="7360" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#7314" class="Bound">m</a> <a id="7362" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#7312" class="Bound">n</a> <a id="7364" class="Symbol">(</a><a id="7365" href="Cubical.Core.Primitives.html#501" class="Primitive Operator">~</a> <a id="7367" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#7341" class="Bound">i</a><a id="7368" class="Symbol">))</a> <a id="7371" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#7118" class="Function">G&#39;</a> <a id="7374" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#7085" class="Bound">A</a><a id="7375" class="Symbol">}</a>
-      <a id="7383" class="Symbol">(</a><a id="7384" href="Cubical.Foundations.Transport.html#8512" class="Function">flipTransport</a> <a id="7398" class="Symbol">(</a><a id="7399" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#4231" class="Function">comm⌣</a> <a id="7405" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#7312" class="Bound">n</a> <a id="7407" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#7314" class="Bound">m</a> <a id="7409" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#7316" class="Bound">x</a> <a id="7411" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#7318" class="Bound">y</a><a id="7412" class="Symbol">))</a>
+      <a id="7383" class="Symbol">(</a><a id="7384" href="Cubical.Foundations.Transport.html#8528" class="Function">flipTransport</a> <a id="7398" class="Symbol">(</a><a id="7399" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#4231" class="Function">comm⌣</a> <a id="7405" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#7312" class="Bound">n</a> <a id="7407" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#7314" class="Bound">m</a> <a id="7409" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#7316" class="Bound">x</a> <a id="7411" href="Cubical.Cohomology.EilenbergMacLane.CupProduct.html#7318" class="Bound">y</a><a id="7412" class="Symbol">))</a>
 </pre></body></html>