Estimating power consumption of a circuit design includes associating, using a processor, each partition of a plurality of partitions of a circuit design with a probability distribution. There is provided a novel microscope system which is enabled to condense an erase light for exciting a molecule in the first electron excited state to the second electron excited state in an excellent beam profile by using a simple, compact optical system and which has high stability and operability and an excellent super-resolution. A metadata server maintains DMAPI queues. Where the location of the character within the image of the text falls outside the valid content boundary, the character is removed from the data representing the text in the non-image form. A second aluminum layer and a second metal thin layer are sequentially applied. The cylinder borings are closed by valve plugs in which pressure passages are provided.