Prism Files used in  "How Did They Know?" - Model-Checking for Analysis of Information Leakage in Social Networks.