((+&3%g)t.wd@('n = ',[,' , k = ',])&":&|(2%g=:1 7 7 1&p.)t.)i.12