Mutually touching cylinders: Littlewood's seven, and at most ten in general

We give a computer-assisted proof that at most seven congruent infinite circular cylinders in $\mathbb{R}^3$ can touch pairwise. This answers a question of Littlewood from 1968. For cylinders of arbitrary radii we prove the upper bound ten. Whether ten can be attained remains open.