#include<mem.cvh>

$input int N;
$assume(2 <= N && N <= 6);
int a[10][10];

int main() {
  $mem m = &a[0 .. 9][0 .. 9];
  $mem m2 = &a[N-1 .. N+3][N-2 .. N+2];
  m = $mem_diff(m, m2);
  $assert($mem_contains(m, m2));
}