Finally found rpos with correct symbolic dynamics, comitting the database now.