HAYSTAC axion search analysis procedure