Updated results and writeup