Fibonacci Altardizisi

Bu gün Kristofer məktəbdə ardıcıllıqlar və permutasiyalar mövzusunu öyrənirdi. Xüsusilə, Fibonaççi ardıcıllığı onun diqqətini çəkdi. Bir rəqəmlər ardıcıllığı a[1], a[2], ... əgər hər hansı i > 2 üçün a[i] = a[i-1] + a[i-2] bərabərliyini təmin edirsə, fibonaççi ardıcıllığı adlanır.

Axşam Kristofer Dovşanın evinə qonaq getdi və onun masasında rəqəmlərlə dolu kartlar dəsti gördü. Kristofer dərhal düşündü ki, bu rəqəmlərlə fibonaççi ardıcıllığı qurmaq mümkündürmü?

Giriş məlumatları

Birinci sətirdə ardıcıllıqda olan elementlərin sayı n (1 ≤ n ≤ 100) verilir. İkinci sətirdə 10^9-dan kiçik n təbii ədəd verilir.

Çıxış məlumatları

Əgər rəqəmlərdən fibonaççi ardıcıllığı qurmaq mümkündürsə, dırnaq işarələri olmadan "YES", əks halda "NO" çıxarın.

Nümunələr