Results come from an internal model that has not been publicly released. And there are lesser problems and conjectures ordinary folks have solved with Astra/Sol.