src/work/akos/k_cover.cc
changeset 1029 53e7969a92eb