Hi, thank you for your message!
So out of these modules mentioned, you basically would go with:
Highest capacity per stick per slot: 32 GB
...which has the highest frequency: 4000 MHz
...without compromising on timings: Stuck with CL18
Remaining options:
G.SKILL Trident Z Neo DDR4-3800...