Added a script to extract distinct session ids.