[math-fun] half-life of Gordian's Knot puzzle