A non-aqueous electrolyte secondary battery has a positive electrode containing a positive electrode active material, a negative electrode containing a negative electrode active material, and a non-aqueous electrolyte. Database creators register provision conditions of information in provision condition storage as a rule for defining information granularity. Accordingly, for the purpose of downsizing the upper structure, front portions of equipment, including an engine, can be accommodated in the recessed space and the rear expansion space contributes to broaden a space within the cab. The selecting includes selecting the coding mode from a plurality of coding modes. The invention is useful for determining whether an arc fault circuit interrupter is capable of tripping in response to an arc fault current. , and A and B satisfy following Condition : \u22120.