<human>: Question: What was the official name of Libya prior to the establishment of the Jamahiriya?

Is "Dissolving the Libyan Arab Republic, it was replaced by the Great Socialist People's Libyan Arab Jamahiriya (Arabic" the correct answer?

OPTIONS:
- yes
- no
<bot>: yes