of the material was ejected from the belt within about 1 million years of formation, leaving behind less than 0.1% of the original mass. Since its formation, the size distribution of the asteroid belt has remained relatively stable; no significant increase or decrease in the typical dimensions of the main-belt asteroids has occurred. The 4:1 orbital resonance with Jupiter, at a radius 2.06 astronomical units (AUs), can be considered the inner boundary of the asteroid belt. Perturbations by Jupiter send bodies straying there into unstable orbits. Most bodies formed within the radius of this gap were swept up by Mars (which has an aphelion at 1.67 AU) or ejected by its gravitational perturbations in the early history of the Solar System. The Hungaria asteroids lie closer to the Sun than the 4:1 resonance, but are protected from disruption by their high inclination. When the asteroid belt was first formed, the temperatures at a distance of 2.7 AU from the Sun formed a "snow line" below the freezing point of water. Planetesimals formed beyond this radius were able to accumulate ice. In 2006, a population of comets had been discovered within the asteroid belt beyond the snow line, which may have provided a source of water for Earth's oceans. According to some models, outgassing of water during the Earth's formative period was insufficient to form the oceans, requiring an external source such as a cometary bombardment. The outer asteroid belt appears to include a few objects that may have arrived there during the last few hundred years, the list includes also known as 362P. Characteristics Contrary to popular imagery, the asteroid belt is mostly empty. The asteroids are spread over such a large volume that reaching an asteroid without aiming carefully would be improbable. Nonetheless, hundreds of thousands of asteroids are currently known, and the total number ranges in the millions or more, depending on the lower size cutoff. Over 200 asteroids are known to be larger than 100 km, and a survey in the infrared wavelengths has shown that the asteroid belt has between 700,000 and 1.7 million asteroids with a diameter of 1 km or more. The number of asteroids in the main belt steadily increases with decreasing size. Although the size distribution generally follows a power law, there are 'bumps' in the curve at about and , where more asteroids than expected from such a curve are found.