Please refer to the writeup.