Title: Program manual: NOR network pruning procedures using permissible functions