added all of curries specification, labbeling zcga-gendb.tex