My compact solution…

import sys
import numpy as np

print([
    (n := int(input())),
   (ab := np.loadtxt(sys.stdin, int))[:n] @ ab[n:]
][1])

It's a one-liner, broken here for clarity.