Main Menu Help!

I need help finding the main menu hardcode amongst the wp files. I found it once and now I can’t remember where they are. I am using Boldy theme but the code’s not in the header or home php files. I am looking for the actual List that the menu is generated from.