שליחה במסרון: Accelerating invariant generation