Arithmetic Span Program