implement concrete compression

GUI: add check operation