stable trace formula