var searchIndex = new Map(JSON.parse('[\
["KpSIS",{"doc":"KpSIS","t":"CCCCCCC","n":["ci","da","eip","mission","model","networks","vision"],"q":[[0,"KpSIS"]],"d":["","","","","","",""],"i":[0,0,0,0,0,0,0],"f":[0,0,0,0,0,0,0],"c":[],"p":[],"b":[]}]\
]'));
if (typeof exports !== 'undefined') exports.searchIndex = searchIndex;
else if (window.initSearch) window.initSearch(searchIndex);