Q2 [4] Consider a state space where a is an array of n integers, i.e., ={a " ({0,..n}totZ)}. Give a specification for the following problem: Put the items of a in an increasing order