read `JPDA.txt`: Mamar1((j+1)*(j+2)/2,j,5,5,3000); quit: