Lost Dropdown Menus

Today I visited my site and there were no posts. So, I checked the database, and PHPMyAdmin told me that wp_posts had crashed and the automatic repair had failed. I did a manual repair and now the table is fine and the site comes up normally.

Almost.

The odd thing is that all of the user-defined dropdown menus are gone. There were 3 of them, now the total number of menus is 0.

Where could they have gone? Where are the user-defined menus stored? Is it in wp_options?

I need to reconstruct the menus, and I really can’t do that from memory.

Any suggestions appreciated.