Eigenvectors now gotten by partially brute-force