{
 "strings": 68061,
 "roundtrip_failures": 0,
 "bound_failures": 0,
 "literal_not_tight": 0,
 "tag128_emitted": 0
}