Praia時間からCeres時間への変換
20:39:17
+3
23:39:18
+7
+7
+7
+7
+6.5
+6.5
+6.5
+6.5
+6.5
+6.5
+6.5
+6.5
+6.5
+6.5
+6
+6
+5.5
+5
+4.5
+4
+4
+4
+4
+4
+4
+4
+4
+4
+3
+3
+3
+3
+2
+2
+2
+2
+2
+2
+1
-2
-2
-2
-3
-3
-3
-4
-4
-5
-6