Which of these are valid IPv $6$ addresses?

$2001$:$0db8$:$85a3$:$0000$:$0000$:$8a2e$:$0370$:$7334$

$2001$:$0d88$:$85a3$:$0$:$0$:$8a2e$:$0370$:$7334$

$2001$:$0db8$:$85a3$:::$8a2e$:$0370$:$7334$

$2001$:$0db8$:$85a3$::$0$:$8a2e$:$0370$:$7334$