এই পাঠটি: Accelerating invariant generation