7 |
(1.08e13, 0.0, 0.0, 3.51e6, 4.84e27, 4, SOME "green"), |
(1.08e13, 0.0, 0.0, 3.51e6, 4.84e27, 4, SOME "green"), |
8 |
(1.50e13, 0.0, 0.0, 2.97e6, 5.98e27, 4, SOME "blue"), |
(1.50e13, 0.0, 0.0, 2.97e6, 5.98e27, 4, SOME "blue"), |
9 |
(2.25e13, 0.0, 0.0, 2.43e6, 6.57e26, 3, SOME "red"), |
(2.25e13, 0.0, 0.0, 2.43e6, 6.57e26, 3, SOME "red"), |
10 |
(* (7.80e13, 0.0, 0.0, 1.30e6, 1.90e30, 6, SOME "brown") *) |
(7.80e13, 0.0, 0.0, 1.30e6, 1.90e30, 6, SOME "brown") |
11 |
|
(* |
12 |
(7.80e13, 0.0, 0.0, 1.30e6, 1.90e32, 6, SOME "brown"), |
(7.80e13, 0.0, 0.0, 1.30e6, 1.90e32, 6, SOME "brown"), |
13 |
(~7.80e13, 0.0, 0.0, ~1.30e6, 1.90e32, 6, SOME "goldenrod1") |
(~7.80e13, 0.0, 0.0, ~1.30e6, 1.90e32, 6, SOME "goldenrod1") |
14 |
|
*) |
15 |
] |
] |
16 |
|
|
17 |
structure AnimateSim = AnimateSimFun |
structure AnimateSim = AnimateSimFun |