var sourcesIndex = JSON.parse('{\
"Art":["",[],["lib.rs"]]\
}');
createSourceSidebar();