所有 43 個模擬器,現在有 23 個 kani 證明繩通過