  In this study, we construct four-dimensional F-theory models with 3 to 8 U(1)
factors on products of K3 surfaces. We provide explicit Weierstrass equations
of elliptic K3 surfaces with Mordell-Weil ranks of 3 to 8. We utilize the
method of quadratic base change to glue pairs of rational elliptic surfaces
together to yield the aforementioned types of K3 surfaces. The moduli of
elliptic K3 surfaces constructed in the study include Kummer surfaces of
specific complex structures. We show that the tadpole cancels in F-theory
compactifications with flux when these Kummer surfaces are paired with
appropriately selected attractive K3 surfaces. We determine the matter spectra
on F-theory on the pairs.
