from typing import List

def solution(pos: List[int]) -> int:
    """
    @param nums 法阵列表
    @return 整型
    """
    # 在这写代码
    
    return