Create paxos_study.txt