time python3 planets.py

real	17m58.871s
user	18m1.370s
sys	0m0.506s