export type StringListJson = string[];
export type NumberListJson = number[];