A Nagy Meseországi Bestiáriumban az év minden hetére jut egy-egy sárkány. A legfiatalabb sárkány, Alajos 13-fejű, a következő sárkány Botond 14-fejű $\text{...}$ (és így tovább, minden újabb idősebb sárkánynak eggyel több feje van, mint az előzőnek), míg a legidősebb sárkány Zoárd 64-fejű. A meseországi szerzetesek elkészítették a Nagy Sárkánymesés Kódexet. A Kódexbe csak az a mese kerülhet be, amelyben szereplő sárkányok fejeinek a száma pontosan 1001. Bármely két mese esetén van legalább egy olyan sárkány, ami csak az egyik mesében szerepel. Miután a Kódexbe a fenti feltételeknek megfelelő összes lehetséges mesét lejegyezték, a 13-fejű Alajos, vagy a 14-fejű Botond szerepel-e több mesében?