var searchIndex = new Map(JSON.parse('[\
["KpEngineering",{"doc":"KpEngineering","t":"CCCCCCC","n":["chemical","civil","electrical","electronic","mechanical","metallurgical","mining"],"q":[[0,"KpEngineering"]],"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);