import Mathlib

set_option maxHeartbeats 0

open BigOperators Real Nat Topology Rat

theorem mathd_numbertheory_37 : Nat.lcm 9999 100001 = 90900909 := by sorry