program = map () -> () [ write_bool ((read_real()/3.0) * 3.0 = 1.0); ]