[math-fun] Borromean string puzzle