The paper is now fully integrated with the code generating it.