판 이력 — Almost Linear-Time Permutation Check | AIChainDay