一個狀態是「安全的（safe）」，若系統能以某種順序把資源分配給每個thread，且仍然可以避免死結。系統只有在存在「safe sequence」時才處於safe state。給定7個threads (T0, T1, T2, T3, T4, T5, T6)與3種resource types (R0, R1, R2)，下表顯示系統目前的狀態：

• Available：每種resource type目前可用的數量。
• Max：每個thread的最大需求量。
• Allocation：目前已分配給每個thread的每種resource數量。

Available：

Max：

Allocation：

共有多少個safe sequences of threads？注意共有 $7!=5{,}040$ 種可能的順序。假設答案是 $1000W+100X+10Y+Z$，其中W、X、Y、Z是整數且 $0\le W,X,Y,Z\le9$。請選出正確的敘述。