完整題本 PDF：中文、英文、馬來文。

電動遊戲是二十一世紀中規模最大的娛樂活動之一，而競速破關（speedrunning，又稱速通）絕對是時下其中一個體會這些數位遊戲最受歡迎的方法。在競速破關的領域中，紀錄各段過程的時間花費是絕對不可或缺的工具之一，這個工具會紀錄每一段遊戲過程或者是達成某個里程碑的時間，讓玩家得以檢討以及改進當下的紀錄。

Nathan 是一位競速破關社群中的閃耀新星，不僅如此，他還有自己擁有一套紀錄分段時間的工具 Splee，Splee 以 $\texttt{hh:mm:ss.sss}$ 的格式紀錄時間，詳細說明如下：

• $\texttt{hh}$ 是一個二位數字，紀錄花費的小時數。
• $\texttt{mm}$ 是一個二位數字，紀錄花費的分鐘數。
• $\texttt{ss.sss}$ 是一個小數點前有兩位、小數點後有三位的數字，紀錄花費的秒數。
• 需要時補上前導零與後綴零以填滿所有需要的位數。
• 小時數必須介於 $0$ 與 $99$ 之間、分鐘數必須介於 $0$ 與 $59$ 之間、而秒數必須介於 $0$ 與 $59.999$ 之間。

除此之外，為了方便，這些時間紀錄與顯示上有兩個額外的規則：

• 任意只有數字零與冒號的前綴可以忽略，但是時間不可以以冒號作為開頭。
• 小數點後的後綴零可以忽略，若小數點部份為零，那小數點也可以忽略。但是時間不允許使用單一一個小數點或者空字串表示。

舉例來說，一小時又五秒可以以 $\texttt{01:00:05.000}$、$\texttt{1:00:05.000}$、或$\texttt{1:00:05}$ 表示。五分之一秒可以以完整形式表示：$\texttt{00:00:00.200}$，或者以非常簡潔的形式表示：$\texttt{.2}$。不過，$\texttt{:00.200}$ 不是一個合法的表示方式。這三個字串 $\texttt{0}$、$\texttt{.0}$、或 $\texttt{0.}$ 都可以用來表示完全沒有花費任何時間，但是 $\texttt{.}$ 以及空字串是不被允許的。

在 Nathan 的最近一次世界紀錄嘗試中，其中一段的時間在過程中被弄丟了，幸好他還有總共花費的時間以及其他所有分段的時間，以 Splee 的格式紀錄，你可以設計一隻程式用這些資訊回復弄丟的那段時間嗎？