lucas-manuel/invariant-examples not found