A Mini-Manual for Use of the SUMT Computer Program and the Factorable Programming Language.