pull down to refresh

Interesting cases:
a = b = c = root(3)
a = b = (1 + root(5))/2, c = 2
__@_'-'