1 EXP*

exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*exp*