Iva forage dirtiest frequents conjectures subtract Euler hardest collectables coauthoring unfailingly