var searchIndex = {};
searchIndex["magic_number"] = {"doc":"","items":[[5,"n","magic_number","",null,{"inputs":[],"output":{"name":"i64"}}]],"paths":[]};
initSearch(searchIndex);