#LINA 更新するには、少なくとも 0.012$ ゾーンをテストする必要があります。#nfa を見てみましょう