{
    "model" "Morse_Shifted_Jelinek_1972_Ar__MO_831902330215_002" 
    "verification-result-id" "VC_881176209980_001-and-MO_831902330215_002-1544835938-vr" 
    "verification-check" "ThreadSafety__VC_881176209980_001" 
    "domain" "openkim.org"
}