Cares Act 401k withdrawal - Pay Back Question

Has anyone seen guidance on what counts as paying back the Cares Act 401k withdrawal.

 

For Example lets say I took out 40k for the cares act from my 401k in 2020.

 

I want to pay it back now but I also have 10k in 401k loans (Pre CARES Withdrawal).  Can I just pay back 30k and pay off my 10k 401k loan?  Does that qualify as paying all 40k back?  I have not filed my 2020 tax form yet.