info.kwarc.mmt planetary-mmt 1.0.0 1.0.0 1.0.0 20140611142517