What will be the stable model if $p$ is true at time $0$ and $a(0)$ is true in the following program?

$p(t,1)$:$-a(0)$

$1\{p(t,0)$;$p(f,0)\}1$

$\{a(0)\}$

$\{p(t,1)\}$:$-p(t,0)$

$\{p(f,1)\}$:$-p(f,0)$

:$-$not$1\{p(t,1)$;$p(f,1)\}1$

$\{p(t,1)\}$

$\{p(t,0),a(0),p(t,1)\}$

$\{p(t,0),a(0),p(t,1),p(f,1)\}$

$\{p(t,0),a(0),p(f,1)\}$