Add import.

app.py

@@ -1,5 +1,7 @@
 # app.py
 
+import math
+
 import gradio as gr
 import pandas as pd
 import plotly.graph_objects as go
@@ -8,16 +10,17 @@ from gradio_leaderboard import Leaderboard, SelectColumns
 from huggingface_hub import whoami
 
 # HTML is split so we can inject Gradio media (images/video) where needed.
-from src.about import WHAT_IS_F1_HTML_AFTER_TIER1FIG_TAIL, SUBMISSION_TERMS_TEXT  # tail after Tier1 fig
 from src.about import WHAT_IS_F1_HTML_AFTER_VIDEO  # text immediately after the video
 from src.about import WHAT_IS_F1_HTML_AFTER_WARMUPFIG  # text between warmup/tier1 figs
 from src.about import WHAT_IS_F1_HTML_BOTTOM_A_AFTER_TABS  # text after the heading, before the first figure
 from src.about import WHAT_IS_F1_HTML_BOTTOM_A_BEFORE_TABS  # up to (and including) the "Infinite Well" heading
 from src.about import WHAT_IS_F1_HTML_EVAL_BEFORE_WARMUPFIG  # evaluation section up to before Warmup fig
-from src.about import (  # ⬅️ split to insert the tabs right after the heading
+from src.about import (  # tail after Tier1 fig; ⬅️ split to insert the tabs right after the heading
     CITATION_BUTTON_LABEL,
     CITATION_BUTTON_TEXT,
     EVALUATION_QUEUE_TEXT,
+    SUBMISSION_TERMS_TEXT,
+    WHAT_IS_F1_HTML_AFTER_TIER1FIG_TAIL,
     WHAT_IS_F1_HTML_TOP,
 )
 from src.datamodel.data import F1Data