import Mathlib

/- Original: s = 12 , similar to (3 -/
theorem eq_e73d75157c00b15f (s : ℕ) (similar : ℕ) (to : ℕ) : s = 12 ∧ similar to (3 := by
  omega

