diff --git a/certora/reports/Formal_Verification_Report_of_GHO_Stability_Module.pdf b/certora/reports/Formal_Verification_Report_of_GHO_Stability_Module.pdf
index 2f27b310..4c034648 100644
Binary files a/certora/reports/Formal_Verification_Report_of_GHO_Stability_Module.pdf and b/certora/reports/Formal_Verification_Report_of_GHO_Stability_Module.pdf differ