(*
  Authors: Wenda Li
*)

theory amc12b_2021_p1
  imports Complex_Main 
begin


theorem amc12b_2021_p1:
  shows "card {x::int. \<bar>real_of_int x\<bar> < 3 * pi} = 19"
  by sorry

end