Create TAOCP.txt