In one aspect, the invention relates to compounds of formula I:where X, Y, R1, R2, R3, R4, R4, and n are as defined in the specification, or a pharmaceutically acceptable salt thereof. By coating a thin film having a low rate of secondary electron emission such as carbon onto the aperture of a lead-out electrode closest to an electron source in an electron gun, it is possible to reduce the amount of secondary electrons arising. Preferably, 90 percent of the barite particles is greater than about 125 microns in size. The control system is configured with a release code, and is also configured to lock the automobile seat in the first position upon receipt of a lock command and to release the automobile seat from the first position upon receipt of a release command corresponding to the release code. The student is allowed to make a selection within that time period. It is possible to provide an internal electrode paste having enough strength and an adhesive force for the dry transfer method, and a production method of an electronic device using the paste.