市府抽籤系統亂數機率公平性驗證