一、西安市莲湖区公证处作出的（2019）西莲证经字第7219号具有强制执行效力的债权文书公证书、（2020）西莲证经字第4606执行证书执行完毕。

二、解除本院以（2020）陕0113执6488号执行裁定书对丁红霞所有的位于西安市雁塔区南二环西段XX号X幢XXXX室房屋（不动产权证号：陕（XXX）西安市不动产权第XXXX号）的查封。

本裁定送达后立即生效。