test/reservoir/mg-interp.cloog

   1 # Language
   2 c
   3
   4 # Context
   5
   6     1 11
   7     1    0    0    0    0    0    0    0    0    0    1
   8 0
   9
  10 # Number of statments
  11 15
  12
  13 1
  14 # { (i,j,k,l,m,n,o,p,q,r,s,t) | i-1 >= 0, -i+n-1 >= 0, j-1 >= 0, -j+m-1 >= 0, k-1 >= 0, -k+l >= 0, 1 >= 0 }
  15
  16     7 14
  17     1    1    0    0    0    0    0    0    0    0    0    0    0   -1
  18     1   -1    0    0    0    0    1    0    0    0    0    0    0   -1
  19     1    0    1    0    0    0    0    0    0    0    0    0    0   -1
  20     1    0   -1    0    0    1    0    0    0    0    0    0    0   -1
  21     1    0    0    1    0    0    0    0    0    0    0    0    0   -1
  22     1    0    0   -1    1    0    0    0    0    0    0    0    0    0
  23     1    0    0    0    0    0    0    0    0    0    0    0    0    1
  24
  25 0 0 0
  26 1
  27 # { (i,j,k,l,m,n,o,p,q,r,s,t) | i-1 >= 0, -i+n-1 >= 0, j-1 >= 0, -j+m-1 >= 0, k-1 >= 0, -k+l >= 0, 1 >= 0 }
  28
  29     7 14
  30     1    1    0    0    0    0    0    0    0    0    0    0    0   -1
  31     1   -1    0    0    0    0    1    0    0    0    0    0    0   -1
  32     1    0    1    0    0    0    0    0    0    0    0    0    0   -1
  33     1    0   -1    0    0    1    0    0    0    0    0    0    0   -1
  34     1    0    0    1    0    0    0    0    0    0    0    0    0   -1
  35     1    0    0   -1    1    0    0    0    0    0    0    0    0    0
  36     1    0    0    0    0    0    0    0    0    0    0    0    0    1
  37
  38 0 0 0
  39 1
  40 # { (i,j,k,l,m,n,o,p,q,r,s,t) | i-1 >= 0, -i+n-1 >= 0, j-1 >= 0, -j+m-1 >= 0, k-1 >= 0, -k+l >= 0, 1 >= 0 }
  41
  42     7 14
  43     1    1    0    0    0    0    0    0    0    0    0    0    0   -1
  44     1   -1    0    0    0    0    1    0    0    0    0    0    0   -1
  45     1    0    1    0    0    0    0    0    0    0    0    0    0   -1
  46     1    0   -1    0    0    1    0    0    0    0    0    0    0   -1
  47     1    0    0    1    0    0    0    0    0    0    0    0    0   -1
  48     1    0    0   -1    1    0    0    0    0    0    0    0    0    0
  49     1    0    0    0    0    0    0    0    0    0    0    0    0    1
  50
  51 0 0 0
  52 1
  53 # { (i,j,k,l,m,n,o,p,q,r,s,t) | i-1 >= 0, -i+n-1 >= 0, j-1 >= 0, -j+m-1 >= 0, k-1 >= 0, -k+l-1 >= 0, 1 >= 0 }
  54
  55     7 14
  56     1    1    0    0    0    0    0    0    0    0    0    0    0   -1
  57     1   -1    0    0    0    0    1    0    0    0    0    0    0   -1
  58     1    0    1    0    0    0    0    0    0    0    0    0    0   -1
  59     1    0   -1    0    0    1    0    0    0    0    0    0    0   -1
  60     1    0    0    1    0    0    0    0    0    0    0    0    0   -1
  61     1    0    0   -1    1    0    0    0    0    0    0    0    0   -1
  62     1    0    0    0    0    0    0    0    0    0    0    0    0    1
  63
  64 0 0 0
  65 1
  66 # { (i,j,k,l,m,n,o,p,q,r,s,t) | i-1 >= 0, -i+n-1 >= 0, j-1 >= 0, -j+m-1 >= 0, k-1 >= 0, -k+l-1 >= 0, 1 >= 0 }
  67
  68     7 14
  69     1    1    0    0    0    0    0    0    0    0    0    0    0   -1
  70     1   -1    0    0    0    0    1    0    0    0    0    0    0   -1
  71     1    0    1    0    0    0    0    0    0    0    0    0    0   -1
  72     1    0   -1    0    0    1    0    0    0    0    0    0    0   -1
  73     1    0    0    1    0    0    0    0    0    0    0    0    0   -1
  74     1    0    0   -1    1    0    0    0    0    0    0    0    0   -1
  75     1    0    0    0    0    0    0    0    0    0    0    0    0    1
  76
  77 0 0 0
  78 1
  79 # { (i,j,k,l,m,n,o,p,q,r,s,t) | i-1 >= 0, -i+n-1 >= 0, j-1 >= 0, -j+m-1 >= 0, k-1 >= 0, -k+l-1 >= 0, 1 >= 0 }
  80
  81     7 14
  82     1    1    0    0    0    0    0    0    0    0    0    0    0   -1
  83     1   -1    0    0    0    0    1    0    0    0    0    0    0   -1
  84     1    0    1    0    0    0    0    0    0    0    0    0    0   -1
  85     1    0   -1    0    0    1    0    0    0    0    0    0    0   -1
  86     1    0    0    1    0    0    0    0    0    0    0    0    0   -1
  87     1    0    0   -1    1    0    0    0    0    0    0    0    0   -1
  88     1    0    0    0    0    0    0    0    0    0    0    0    0    1
  89
  90 0 0 0
  91 1
  92 # { (i,j,k,l,m,n,o,p,q,r,s,t) | i-1 >= 0, -i+n-1 >= 0, j-1 >= 0, -j+m-1 >= 0, k-1 >= 0, -k+l-1 >= 0, 1 >= 0 }
  93
  94     7 14
  95     1    1    0    0    0    0    0    0    0    0    0    0    0   -1
  96     1   -1    0    0    0    0    1    0    0    0    0    0    0   -1
  97     1    0    1    0    0    0    0    0    0    0    0    0    0   -1
  98     1    0   -1    0    0    1    0    0    0    0    0    0    0   -1
  99     1    0    0    1    0    0    0    0    0    0    0    0    0   -1
 100     1    0    0   -1    1    0    0    0    0    0    0    0    0   -1
 101     1    0    0    0    0    0    0    0    0    0    0    0    0    1
 102
 103 0 0 0
 104 1
 105 # { (i,j,k,l,m,n,o,p,q,r,s,t) | i-1 >= 0, -i+n-1 >= 0, j-1 >= 0, -j+m-1 >= 0, k-1 >= 0, -k+l-1 >= 0, 1 >= 0 }
 106
 107     7 14
 108     1    1    0    0    0    0    0    0    0    0    0    0    0   -1
 109     1   -1    0    0    0    0    1    0    0    0    0    0    0   -1
 110     1    0    1    0    0    0    0    0    0    0    0    0    0   -1
 111     1    0   -1    0    0    1    0    0    0    0    0    0    0   -1
 112     1    0    0    1    0    0    0    0    0    0    0    0    0   -1
 113     1    0    0   -1    1    0    0    0    0    0    0    0    0   -1
 114     1    0    0    0    0    0    0    0    0    0    0    0    0    1
 115
 116 0 0 0
 117 1
 118 # { (i,j,k,l,m,n,o,p,q,r,s,t) | i-1 >= 0, -i+n-1 >= 0, j-1 >= 0, -j+m-1 >= 0, k-1 >= 0, -k+l-1 >= 0, 1 >= 0 }
 119
 120     7 14
 121     1    1    0    0    0    0    0    0    0    0    0    0    0   -1
 122     1   -1    0    0    0    0    1    0    0    0    0    0    0   -1
 123     1    0    1    0    0    0    0    0    0    0    0    0    0   -1
 124     1    0   -1    0    0    1    0    0    0    0    0    0    0   -1
 125     1    0    0    1    0    0    0    0    0    0    0    0    0   -1
 126     1    0    0   -1    1    0    0    0    0    0    0    0    0   -1
 127     1    0    0    0    0    0    0    0    0    0    0    0    0    1
 128
 129 0 0 0
 130 1
 131 # { (i,j,k,l,m,n,o,p,q,r,s,t) | i-1 >= 0, -i+n-1 >= 0, j-1 >= 0, -j+m-1 >= 0, k-1 >= 0, -k+l-1 >= 0, 1 >= 0 }
 132
 133     7 14
 134     1    1    0    0    0    0    0    0    0    0    0    0    0   -1
 135     1   -1    0    0    0    0    1    0    0    0    0    0    0   -1
 136     1    0    1    0    0    0    0    0    0    0    0    0    0   -1
 137     1    0   -1    0    0    1    0    0    0    0    0    0    0   -1
 138     1    0    0    1    0    0    0    0    0    0    0    0    0   -1
 139     1    0    0   -1    1    0    0    0    0    0    0    0    0   -1
 140     1    0    0    0    0    0    0    0    0    0    0    0    0    1
 141
 142 0 0 0
 143 1
 144 # { (i,j,k,l,m,n,o,p,q,r,s,t) | i-1 >= 0, -i+n-1 >= 0, j-1 >= 0, -j+m-1 >= 0, k-1 >= 0, -k+l-1 >= 0, 1 >= 0 }
 145
 146     7 14
 147     1    1    0    0    0    0    0    0    0    0    0    0    0   -1
 148     1   -1    0    0    0    0    1    0    0    0    0    0    0   -1
 149     1    0    1    0    0    0    0    0    0    0    0    0    0   -1
 150     1    0   -1    0    0    1    0    0    0    0    0    0    0   -1
 151     1    0    0    1    0    0    0    0    0    0    0    0    0   -1
 152     1    0    0   -1    1    0    0    0    0    0    0    0    0   -1
 153     1    0    0    0    0    0    0    0    0    0    0    0    0    1
 154
 155 0 0 0
 156 1
 157 # { (i,j,k,l,m,n,o,p,q,r,s,t) | i-q >= 0, -i+n-1 >= 0, j-p >= 0, -j+m-1 >= 0, k-o >= 0, -k+l-1 >= 0, 1 >= 0 }
 158
 159     7 14
 160     1    1    0    0    0    0    0    0    0   -1    0    0    0    0
 161     1   -1    0    0    0    0    1    0    0    0    0    0    0   -1
 162     1    0    1    0    0    0    0    0   -1    0    0    0    0    0
 163     1    0   -1    0    0    1    0    0    0    0    0    0    0   -1
 164     1    0    0    1    0    0    0   -1    0    0    0    0    0    0
 165     1    0    0   -1    1    0    0    0    0    0    0    0    0   -1
 166     1    0    0    0    0    0    0    0    0    0    0    0    0    1
 167
 168 0 0 0
 169 1
 170 # { (i,j,k,l,m,n,o,p,q,r,s,t) | i-q >= 0, -i+n-1 >= 0, j-p >= 0, -j+m-1 >= 0, k-1 >= 0, -k+l-1 >= 0, 1 >= 0 }
 171
 172     7 14
 173     1    1    0    0    0    0    0    0    0   -1    0    0    0    0
 174     1   -1    0    0    0    0    1    0    0    0    0    0    0   -1
 175     1    0    1    0    0    0    0    0   -1    0    0    0    0    0
 176     1    0   -1    0    0    1    0    0    0    0    0    0    0   -1
 177     1    0    0    1    0    0    0    0    0    0    0    0    0   -1
 178     1    0    0   -1    1    0    0    0    0    0    0    0    0   -1
 179     1    0    0    0    0    0    0    0    0    0    0    0    0    1
 180
 181 0 0 0
 182 1
 183 # { (i,j,k,l,m,n,o,p,q,r,s,t) | i-q >= 0, -i+n-1 >= 0, j-1 >= 0, -j+m-1 >= 0, k-o >= 0, -k+l-1 >= 0, 1 >= 0 }
 184
 185     7 14
 186     1    1    0    0    0    0    0    0    0   -1    0    0    0    0
 187     1   -1    0    0    0    0    1    0    0    0    0    0    0   -1
 188     1    0    1    0    0    0    0    0    0    0    0    0    0   -1
 189     1    0   -1    0    0    1    0    0    0    0    0    0    0   -1
 190     1    0    0    1    0    0    0   -1    0    0    0    0    0    0
 191     1    0    0   -1    1    0    0    0    0    0    0    0    0   -1
 192     1    0    0    0    0    0    0    0    0    0    0    0    0    1
 193
 194 0 0 0
 195 1
 196 # { (i,j,k,l,m,n,o,p,q,r,s,t) | i-q >= 0, -i+n-1 >= 0, j-1 >= 0, -j+m-1 >= 0, k-1 >= 0, -k+l-1 >= 0, 1 >= 0 }
 197
 198     7 14
 199     1    1    0    0    0    0    0    0    0   -1    0    0    0    0
 200     1   -1    0    0    0    0    1    0    0    0    0    0    0   -1
 201     1    0    1    0    0    0    0    0    0    0    0    0    0   -1
 202     1    0   -1    0    0    1    0    0    0    0    0    0    0   -1
 203     1    0    0    1    0    0    0    0    0    0    0    0    0   -1
 204     1    0    0   -1    1    0    0    0    0    0    0    0    0   -1
 205     1    0    0    0    0    0    0    0    0    0    0    0    0    1
 206
 207 0 0 0
 208 0
 209 # Scattering functions
 210 15
 211
 212     8 21
 213     0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0
 214     0    0    1    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    0    0
 215     0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0
 216     0    0    0    0    1    0    0    0    0   -2    0    0    0    0    0    0    0    0    0    0    3
 217     0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0   -2
 218     0    0    0    0    0    0    1    0    0    0   -1    0    0    0    0    0    0    0    0    0    0
 219     0    0    0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0
 220     1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    1
 221
 222
 223     8 21
 224     0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0   -1
 225     0    0    1    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    0    0
 226     0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0
 227     0    0    0    0    1    0    0    0    0   -2    0    0    0    0    0    0    0    0    0    0    0
 228     0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0
 229     0    0    0    0    0    0    1    0    0    0   -1    0    0    0    0    0    0    0    0    0    0
 230     0    0    0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0   -1
 231     1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    1
 232
 233
 234     8 21
 235     0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0
 236     0    0    1    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    0    0
 237     0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0
 238     0    0    0    0    1    0    0    0    0   -2    0    0    0    0    0    0    0    0    0    0    1
 239     0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0   -1
 240     0    0    0    0    0    0    1    0    0    0   -1    0    0    0    0    0    0    0    0    0    0
 241     0    0    0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0   -2
 242     1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    1
 243
 244
 245     8 21
 246     0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0   -2
 247     0    0    1    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    0    0
 248     0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0
 249     0    0    0    0    1    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    0
 250     0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0   -1
 251     0    0    0    0    0    0    1    0    0    0   -1    0    0    0    0    0    0    0    0    0    0
 252     0    0    0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0
 253     1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    1
 254
 255
 256     8 21
 257     0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0   -3
 258     0    0    1    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    0    0
 259     0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0
 260     0    0    0    0    1    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    0
 261     0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0   -1
 262     0    0    0    0    0    0    1    0    0    0   -1    0    0    0    0    0    0    0    0    0    0
 263     0    0    0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0   -1
 264     1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    1
 265
 266
 267     8 21
 268     0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0
 269     0    0    1    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    0    0
 270     0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0
 271     0    0    0    0    1    0    0    0    0   -2    0    0    0    0    0    0    0    0    0    0    2
 272     0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0   -2
 273     0    0    0    0    0    0    1    0    0    0   -1    0    0    0    0    0    0    0    0    0    0
 274     0    0    0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0
 275     1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    1
 276
 277
 278     8 21
 279     0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0
 280     0    0    1    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    0    0
 281     0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0
 282     0    0    0    0    1    0    0    0    0   -2    0    0    0    0    0    0    0    0    0    0    2
 283     0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0   -2
 284     0    0    0    0    0    0    1    0    0    0   -1    0    0    0    0    0    0    0    0    0    0
 285     0    0    0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0   -1
 286     1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    1
 287
 288
 289     8 21
 290     0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0   -1
 291     0    0    1    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    0    0
 292     0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0
 293     0    0    0    0    1    0    0    0    0   -2    0    0    0    0    0    0    0    0    0    0    0
 294     0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0   -1
 295     0    0    0    0    0    0    1    0    0    0   -1    0    0    0    0    0    0    0    0    0    0
 296     0    0    0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0
 297     1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    1
 298
 299
 300     8 21
 301     0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0   -1
 302     0    0    1    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    0    0
 303     0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0
 304     0    0    0    0    1    0    0    0    0   -2    0    0    0    0    0    0    0    0    0    0   -1
 305     0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0   -3
 306     0    0    0    0    0    0    1    0    0    0   -1    0    0    0    0    0    0    0    0    0    0
 307     0    0    0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0   -1
 308     1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    1
 309
 310
 311     8 21
 312     0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0
 313     0    0    1    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    0    0
 314     0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0
 315     0    0    0    0    1    0    0    0    0   -2    0    0    0    0    0    0    0    0    0    0   -1
 316     0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0
 317     0    0    0    0    0    0    1    0    0    0   -1    0    0    0    0    0    0    0    0    0    0
 318     0    0    0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0
 319     1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    1
 320
 321
 322     8 21
 323     0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0
 324     0    0    1    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    0    0
 325     0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0
 326     0    0    0    0    1    0    0    0    0   -2    0    0    0    0    0    0    0    0    0    0    0
 327     0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0   -4
 328     0    0    0    0    0    0    1    0    0    0   -1    0    0    0    0    0    0    0    0    0    0
 329     0    0    0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0   -1
 330     1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    1
 331
 332
 333     8 21
 334     0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0   -4
 335     0    0    1    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    0    0
 336     0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0
 337     0    0    0    0    1    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    0
 338     0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0
 339     0    0    0    0    0    0    1    0    0    0   -1    0    0    0    0    0    0    0    0    0    0
 340     0    0    0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0
 341     1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    1
 342
 343
 344     8 21
 345     0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0   -5
 346     0    0    1    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    0    0
 347     0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0
 348     0    0    0    0    1    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    0
 349     0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0   -1
 350     0    0    0    0    0    0    1    0    0    0   -1    0    0    0    0    0    0    0    0    0    0
 351     0    0    0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0
 352     1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    1
 353
 354
 355     8 21
 356     0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0   -6
 357     0    0    1    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    0    0
 358     0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0   -1
 359     0    0    0    0    1    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    0
 360     0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0
 361     0    0    0    0    0    0    1    0    0    0   -1    0    0    0    0    0    0    0    0    0    0
 362     0    0    0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0
 363     1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    1
 364
 365
 366     8 21
 367     0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0   -7
 368     0    0    1    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    0    0
 369     0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0   -1
 370     0    0    0    0    1    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    0
 371     0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0   -1
 372     0    0    0    0    0    0    1    0    0    0   -1    0    0    0    0    0    0    0    0    0    0
 373     0    0    0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0
 374     1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    1
 375
 376 0