Encoding problem depth_hoar_index