{"coverage":{"src/automata.jl":[null,null,null,null,null,null,null,null,null,2,3,5,null,2,null,null,null,null,2,4,14,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],"src/light.jl":[null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,16,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,8,8,8,null,null,null,212,null,null,null,null,null,null,null,null,null,null,null,null,null,null,70,null,null,3,null,18,null,20,null,null,55,null,null,43,43,null,15,null,41,41,41,null,null,24,null,null,37,37,null,null,12,195,null,2,null,11,null,12,null,null,91,91,91,null,null,null,null,2,2,null,null,null,63,63,63,63,65,63,63,61,null,63,63,61,61,null,63,null,null,9,null,null,14,null,null,7,7,7,7,5,5,null,null,null,null,null,1,4,null,1,2,null,1,null,null,null,1,null,null,6,32,10,null,null,20,11,11,11,null,null,19,11,11,11,null,null,null,4,null,null,null,null,2,null,null,2,null,null,null,4,null,null,null,3,null,null,null,4,null,null,null,2,null,null,2,null,null,null,15,null,null,null,10,null],"src/paths.jl":[null,null,null,null,48,null,null,null,null,null,0,0,0,null,null,0,0,null,8,8,null,null,22,null,22,null,null,4,2,2,null,null,null,3,3,2,1,2,null,1,1,1,1,1,0,0,null,3,null,null,null,1,null,3,null,null,null,3,3,2,2,null,1,1,3,null,null,1,null,3,null,null,null,14,null,null,null,null,0,null,null,null,null,null,null,null,7,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,10,7,14,7,0,null,7,7,7,7,7,null,0,0,null,null,19,34,7,null,12,null,null,null,34,61,12,null,22,null,null,null,15,15,null,null,34,34,34,56,41,34,null,null,15,27,5,null,15,10,null,null,null,41,73,22,null,27,38,19,null,null],"src/HybridSystems.jl":[null,6,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,16,null,null,null,null,null,null,null,5,null,null,null,0,null,null,null,null,null,null,null,139,null,null,null,null,0,null,null,null,null,null,null,null,null,null,null,8,null,null,null,null,null,null,9,null,null,null,null,null,null,8,null,null,null,null,null,null,4,null,null,null,null,null,null,38,null,null,null,null,null,null,0,null,null,null,null,null,null,4,null,null,null,4,null,null,null,null,null,null,5,null,null,null,null,null,null,0,null,null,null,null,null,null,4,null,0,0,0,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,3,1,2,1,1,null,null,4,2,2,4,2,2,null,null,4,4,8,10,null,null,2,null,null,1,null,2,4,8,4,4,2,null,10,null,null,null,2,2,null,1,null,5,5,20,20,20,5,null,20,null,null,null,5,5,null,null,5,null],"src/onestate.jl":[null,null,null,null,null,null,null,null,null,2,null,null,null,null,null,null,null,null,53,null,null,4,3,10,null,null,41,null,2,10,43,12,14,18,null,1,1,1,null,null,8,null,null,null,2,null,null,2,null,2,null,null,null,3,3,null,null,null,2,2,null,null,null,4,null,null,2,null,2,null,null,null,15,null,null,null,10,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]}}