and you can be sure mathematicians spent way more than 80 hrs on it