update log
create function from Map proved to terminate
GHC qsost terminating
indecesOne proved to terminate