{"coverage":{"src/automata.jl":[null,null,null,null,null,null,null,null,null,4,2,7,null,2,null,null,null,null,4,2,15,null,2,null,null,null,null,null,null,null,null,null,0,null,null,null,null,null,null,null,null,0,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null],"src/light.jl":[null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,8,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,1,8,1,null,null,null,107,null,null,null,null,null,null,null,null,null,null,null,null,null,null,35,null,null,2,null,16,null,92,null,null,50,null,null,null,44,null,15,null,41,null,82,null,null,23,null,null,37,76,null,null,0,4,null,0,null,8,null,16,null,null,224,224,112,null,null,null,null,2,2,null,null,null,63,null,null,null,126,null,63,61,null,63,63,122,61,null,63,null,null,18,null,null,37,null,null,7,null,null,7,10,5,null,null,null,null,null,2,6,null,1,2,null,2,null,null,null,3,null,null,0,32,0,null,null,57,null,null,6,null,null,53,null,null,6,null,null,null,4,null,null,null,null,0,null,null,3,null,null,null,0,null,null,null,4,null,null,null,4,null,null,null,0,null,null,3,null,null,null,0,null,null,null,10,null,null],"src/paths.jl":[null,null,null,null,24,null,null,null,null,null,null,0,0,null,null,0,0,null,16,16,null,null,0,null,0,null,null,4,null,null,null,null,null,3,3,2,null,1,null,null,null,null,null,1,null,0,null,2,null,null,null,1,null,3,null,null,null,3,3,2,1,null,null,null,2,null,null,null,null,3,null,null,null,7,null,null,null,null,0,null,null,null,null,null,null,null,14,null,null,null,null,null,null,null,null,null,null,7,null,null,null,null,null,26,15,null,11,null,null,null,12,7,null,5,null,null,null,null,14,null,null,7,0,null,null,null,null,null,14,null,null,52,null,null,19,38,7,null,12,null,null,null,34,68,12,null,22,null,null,null,30,15,null,null,34,null,null,34,68,68,null,null,50,70,5,null,30,30,null,null,null,82,82,22,null,19,null,19,null,null,null],"src/HybridSystems.jl":[null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,14,null,null,null,null,null,null,null,11,null,null,null,0,null,null,null,null,null,null,null,108,null,null,null,null,0,null,null,null,null,null,null,null,null,null,null,12,null,null,null,null,null,null,18,null,null,null,null,null,null,8,null,null,null,null,null,null,8,null,null,null,null,null,null,4,null,null,null,null,null,null,0,null,null,null,null,null,null,4,null,null,null,8,null,null,null,null,null,null,10,null,null,null,null,null,null,0,null,null,null,null,null,null,8,null,null,0,0,null,null,null,null,null,null,null,null],"src/switchedsystems.jl":[null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,4,4,1,1,1,null,null,4,10,null,2,null,2,null,null,6,2,4,20,null,null,4,null,null,1,null,4,2,8,null,4,2,null,2,null,null,null,2,2,null,3,null,10,5,20,20,20,5,null,19,null,null,null,5,5,null,null,5,null,null],"src/onestate.jl":[null,null,null,null,null,null,null,null,null,3,null,null,null,null,null,null,null,null,105,null,null,2,2,1,null,null,4,null,2,0,0,0,2,2,null,2,1,1,null,null,23,null,null,null,3,null,null,0,null,3,null,null,null,1,1,null,null,null,2,2,null,null,null,4,null,null,0,null,3,null,null,null,0,null,null,null,10,null,null],"src/switchings.jl":[null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,8,null,null,null,null,null,null,null,null]}}