Alaska Statutes · Title 15 · Elections AS 15.15.350 · AS 15.15.365 and their Lean formalization