Derivation list as JSON: