(:= (aref (dot (aref a (+ x 1)) 1) (+ z 2)) (aref (dot (aref b (+ p 3)) 17) (+ q 4)))