The task of weighing 13 coins (lost in my comments)

 

v20240901