{ "domain": "life-health", "topics": [ "rna-design" ], "type": "design", "also": [ "algorithm" ], "structure": "instances", "verify": [ "certificate", "numerical" ], "instances": [ "HA", "RSV F", "Rabies G", "Cas9", "Spike" ], "metric": { "name": "minimum free energy", "better": "lower" }, "cover": { "motif": "hairpin", "n": 4 } }