Points $A$, $B$, $C$, and $D$ lie on a circle such that chords $\overline{AC}$ and $\overline{BD}$ intersect at a point $E$ inside the circle. Suppose that $\angle ADE = \angle CBE = 75^\circ$, $BE=4$, and $DE=8$. The value of $AB^2$ can be written in the form $a+b\sqrt{c}$ for positive integers $a$, $b$, and $c$ such that $c$ is not divisible by the square of any prime. Find $a+b+c$.

Let's think step by step and output the final answer within \boxed{}.
user