# arrays

Human review: pending. Expected output was independently traced by AI, not captured from cpsc.

Basis: CIE pp. 10-11, 20; explicit negative lower bounds are valid INTEGER bounds.

Trace: Rows contain (-8,-7), (2,3), (12,13). Their sum is 15, including both lower and upper endpoints.