Initial commit of thriftgenangular formula