input""a:?a*(a-3)/2+1