let v = read_public_input()
let s = read_secret_input()

assert_eq(v, s)
write_output(v * s)