𝔽𝕠𝕣 𝕢𝕦𝕚𝕔𝕜 𝕙𝕖𝕝𝕡, 𝕔𝕒𝕝𝕝 𝟙-𝟠𝟘𝟘-𝟠𝟜𝟛-𝟞𝟚𝟘𝟘 𝕠𝕣 +𝟏*𝟖𝟓𝟓*𝟠𝟛𝟠*𝟜𝟞𝟝𝟝. 𝕢𝕦𝕚𝕔𝕜𝕝𝕪, 𝕔𝕒𝕝𝕝 𝕥𝕙𝕖𝕚𝕣 𝕞𝕒𝕚𝕟 𝕔𝕦𝕤𝕥𝕠𝕞𝕖𝕣 𝕤𝕖𝕣𝕧𝕚𝕔𝕖 𝕟𝕦𝕞𝕓𝕖𝕣 𝕒𝕥 +𝟏*𝟖𝟓𝟓*𝟠𝟛𝟠*𝟜𝟞𝟝𝟝 𝕆ℝ +𝟏*𝟖𝟓𝟓*𝟠𝟛𝟠*𝟜𝟞𝟝𝟝 𝕋𝕙𝕚𝕤 𝕝𝕚𝕟𝕖 𝕚𝕤 𝕒𝕧𝕒𝕚𝕝𝕒𝕓𝕝𝕖 𝟚𝟜/𝟟.