# language: C
c

# parameters
1 2
1 1
 0


3


# S1: ND_4IP_3
1
11 7
  1  1  0  0  0  0 -1
  1 -1  0  0  0  0 10
  0  0  0  0  1  0 -2
  1 -1  0  0  0  3  2
  1 -1  0  0  0  3  2
  1  1  0  0  0 -3  0
  0  1  0  0 -1 -3  0
  1  1 -3  0  0  0  2
  1 -1  3  0  0  0  0
  1  1  0 -3  0  0  1
  1 -1  0  3  0  0  1
 0 0 0


# S2:  W:ND_4OP_1
1
13 7
  1  0  1  0  0 -1 -1
  1  0  0  3  0 -3 -2
  1  1  0  0  0  0 -1
  1 -1  0  0  0  0 10
  0  0  0  0  1  0 -2
  1 -1  0  0  0  3  2
  1 -1  0  0  0  3  2
  1  1  0  0  0 -3  0
  0  1  0  0 -1 -3  0
  1  1 -3  0  0  0  2
  1 -1  3  0  0  0  0
  1  1  0 -3  0  0  1
  1 -1  0  3  0  0  1
 0 0 0


# S3: ND_4
1
11 7
  1  1  0  0  0  0 -1
  1 -1  0  0  0  0 10
  0  0  0  0  1  0 -2
  1 -1  0  0  0  3  2
  1 -1  0  0  0  3  2
  1  1  0  0  0 -3  0
  0  1  0  0 -1 -3  0
  1  1 -3  0  0  0  2
  1 -1  3  0  0  0  0
  1  1  0 -3  0  0  1
  1 -1  0  3  0  0  1
 0 0 0


 1
 j div41 div42 mod6 mod6_a
 0
 0