See http://uw.sagenb.org/home/pub/27/ for a published version of this worksheet.