{"coverage":{"src/context.jl":[null,null,null,null,null,null,2,2,2,null,null,null,null,null,null,null,4,null,null,null,null,null,null,null,4,null,null,null,null,null,1,null,null,null,null,null,8,null,null,2,null,1,null,5,null,0,0,null,null,null,1,null,null,48,47,19,15,12,1,null,null],"src/types.jl":[null,null,null,null,null,null,null,null,null,null,null,null,null,4,null,null,null,null,null,null,null],"src/ContextTracking.jl":[null,4,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null],"src/trace.jl":[null,null,null,null,null,null,null,null,null,null,null,6,6,3,3,3,3,3,3,3,null,3,3,null,null,3,null,null,null,null,null,null,null,null,null,null,null,3,1,2,2,null,0,null,3,3,3,3,3,null,null],"src/singleton.jl":[null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,24,12,12,null,null,null,12,null,null,null,null,null,null,null,null,null,null,null,null,null,null,11,null,null,null]}}