let rec(@)i j=i9||i+1@j+1;;3@2