{0:1;𝕩×𝕊𝕩-1}•_timed 100
8.437800000000001e¯05
   {0:1;𝕩×𝕊𝕩-1}•_timed 1000
0.000299545