../../../../internal_tools/integration/scripts/make_index/permuted_index.erl