gcc/testsuite/gcc.target/i386/vperm-4-2.inc

   1 /* This file auto-generated with ./vperm.pl 4 2.  */
   2
   3 void check0(void)
   4 {
   5   TEST (0, 0, 0, 0)
   6   TEST (1, 0, 0, 0)
   7   TEST (2, 0, 0, 0)
   8   TEST (3, 0, 0, 0)
   9   TEST (4, 0, 0, 0)
  10   TEST (5, 0, 0, 0)
  11   TEST (6, 0, 0, 0)
  12   TEST (7, 0, 0, 0)
  13   TEST (0, 1, 0, 0)
  14   TEST (1, 1, 0, 0)
  15   TEST (2, 1, 0, 0)
  16   TEST (3, 1, 0, 0)
  17   TEST (4, 1, 0, 0)
  18   TEST (5, 1, 0, 0)
  19   TEST (6, 1, 0, 0)
  20   TEST (7, 1, 0, 0)
  21   TEST (0, 2, 0, 0)
  22   TEST (1, 2, 0, 0)
  23   TEST (2, 2, 0, 0)
  24   TEST (3, 2, 0, 0)
  25   TEST (4, 2, 0, 0)
  26   TEST (5, 2, 0, 0)
  27   TEST (6, 2, 0, 0)
  28   TEST (7, 2, 0, 0)
  29   TEST (0, 3, 0, 0)
  30   TEST (1, 3, 0, 0)
  31   TEST (2, 3, 0, 0)
  32   TEST (3, 3, 0, 0)
  33   TEST (4, 3, 0, 0)
  34   TEST (5, 3, 0, 0)
  35   TEST (6, 3, 0, 0)
  36   TEST (7, 3, 0, 0)
  37   TEST (0, 4, 0, 0)
  38   TEST (1, 4, 0, 0)
  39   TEST (2, 4, 0, 0)
  40   TEST (3, 4, 0, 0)
  41   TEST (4, 4, 0, 0)
  42   TEST (5, 4, 0, 0)
  43   TEST (6, 4, 0, 0)
  44   TEST (7, 4, 0, 0)
  45   TEST (0, 5, 0, 0)
  46   TEST (1, 5, 0, 0)
  47   TEST (2, 5, 0, 0)
  48   TEST (3, 5, 0, 0)
  49   TEST (4, 5, 0, 0)
  50   TEST (5, 5, 0, 0)
  51   TEST (6, 5, 0, 0)
  52   TEST (7, 5, 0, 0)
  53   TEST (0, 6, 0, 0)
  54   TEST (1, 6, 0, 0)
  55   TEST (2, 6, 0, 0)
  56   TEST (3, 6, 0, 0)
  57   TEST (4, 6, 0, 0)
  58   TEST (5, 6, 0, 0)
  59   TEST (6, 6, 0, 0)
  60   TEST (7, 6, 0, 0)
  61   TEST (0, 7, 0, 0)
  62   TEST (1, 7, 0, 0)
  63   TEST (2, 7, 0, 0)
  64   TEST (3, 7, 0, 0)
  65   TEST (4, 7, 0, 0)
  66   TEST (5, 7, 0, 0)
  67   TEST (6, 7, 0, 0)
  68   TEST (7, 7, 0, 0)
  69   TEST (0, 0, 1, 0)
  70   TEST (1, 0, 1, 0)
  71   TEST (2, 0, 1, 0)
  72   TEST (3, 0, 1, 0)
  73   TEST (4, 0, 1, 0)
  74   TEST (5, 0, 1, 0)
  75   TEST (6, 0, 1, 0)
  76   TEST (7, 0, 1, 0)
  77   TEST (0, 1, 1, 0)
  78   TEST (1, 1, 1, 0)
  79   TEST (2, 1, 1, 0)
  80   TEST (3, 1, 1, 0)
  81   TEST (4, 1, 1, 0)
  82   TEST (5, 1, 1, 0)
  83   TEST (6, 1, 1, 0)
  84   TEST (7, 1, 1, 0)
  85   TEST (0, 2, 1, 0)
  86   TEST (1, 2, 1, 0)
  87   TEST (2, 2, 1, 0)
  88   TEST (3, 2, 1, 0)
  89   TEST (4, 2, 1, 0)
  90   TEST (5, 2, 1, 0)
  91   TEST (6, 2, 1, 0)
  92   TEST (7, 2, 1, 0)
  93   TEST (0, 3, 1, 0)
  94   TEST (1, 3, 1, 0)
  95   TEST (2, 3, 1, 0)
  96   TEST (3, 3, 1, 0)
  97   TEST (4, 3, 1, 0)
  98   TEST (5, 3, 1, 0)
  99   TEST (6, 3, 1, 0)
 100   TEST (7, 3, 1, 0)
 101   TEST (0, 4, 1, 0)
 102   TEST (1, 4, 1, 0)
 103   TEST (2, 4, 1, 0)
 104   TEST (3, 4, 1, 0)
 105   TEST (4, 4, 1, 0)
 106   TEST (5, 4, 1, 0)
 107   TEST (6, 4, 1, 0)
 108   TEST (7, 4, 1, 0)
 109   TEST (0, 5, 1, 0)
 110   TEST (1, 5, 1, 0)
 111   TEST (2, 5, 1, 0)
 112   TEST (3, 5, 1, 0)
 113   TEST (4, 5, 1, 0)
 114   TEST (5, 5, 1, 0)
 115   TEST (6, 5, 1, 0)
 116   TEST (7, 5, 1, 0)
 117   TEST (0, 6, 1, 0)
 118   TEST (1, 6, 1, 0)
 119   TEST (2, 6, 1, 0)
 120   TEST (3, 6, 1, 0)
 121   TEST (4, 6, 1, 0)
 122   TEST (5, 6, 1, 0)
 123   TEST (6, 6, 1, 0)
 124   TEST (7, 6, 1, 0)
 125   TEST (0, 7, 1, 0)
 126   TEST (1, 7, 1, 0)
 127   TEST (2, 7, 1, 0)
 128   TEST (3, 7, 1, 0)
 129   TEST (4, 7, 1, 0)
 130   TEST (5, 7, 1, 0)
 131   TEST (6, 7, 1, 0)
 132   TEST (7, 7, 1, 0)
 133 }
 134
 135 void check1(void)
 136 {
 137   TEST (0, 0, 2, 0)
 138   TEST (1, 0, 2, 0)
 139   TEST (2, 0, 2, 0)
 140   TEST (3, 0, 2, 0)
 141   TEST (4, 0, 2, 0)
 142   TEST (5, 0, 2, 0)
 143   TEST (6, 0, 2, 0)
 144   TEST (7, 0, 2, 0)
 145   TEST (0, 1, 2, 0)
 146   TEST (1, 1, 2, 0)
 147   TEST (2, 1, 2, 0)
 148   TEST (3, 1, 2, 0)
 149   TEST (4, 1, 2, 0)
 150   TEST (5, 1, 2, 0)
 151   TEST (6, 1, 2, 0)
 152   TEST (7, 1, 2, 0)
 153   TEST (0, 2, 2, 0)
 154   TEST (1, 2, 2, 0)
 155   TEST (2, 2, 2, 0)
 156   TEST (3, 2, 2, 0)
 157   TEST (4, 2, 2, 0)
 158   TEST (5, 2, 2, 0)
 159   TEST (6, 2, 2, 0)
 160   TEST (7, 2, 2, 0)
 161   TEST (0, 3, 2, 0)
 162   TEST (1, 3, 2, 0)
 163   TEST (2, 3, 2, 0)
 164   TEST (3, 3, 2, 0)
 165   TEST (4, 3, 2, 0)
 166   TEST (5, 3, 2, 0)
 167   TEST (6, 3, 2, 0)
 168   TEST (7, 3, 2, 0)
 169   TEST (0, 4, 2, 0)
 170   TEST (1, 4, 2, 0)
 171   TEST (2, 4, 2, 0)
 172   TEST (3, 4, 2, 0)
 173   TEST (4, 4, 2, 0)
 174   TEST (5, 4, 2, 0)
 175   TEST (6, 4, 2, 0)
 176   TEST (7, 4, 2, 0)
 177   TEST (0, 5, 2, 0)
 178   TEST (1, 5, 2, 0)
 179   TEST (2, 5, 2, 0)
 180   TEST (3, 5, 2, 0)
 181   TEST (4, 5, 2, 0)
 182   TEST (5, 5, 2, 0)
 183   TEST (6, 5, 2, 0)
 184   TEST (7, 5, 2, 0)
 185   TEST (0, 6, 2, 0)
 186   TEST (1, 6, 2, 0)
 187   TEST (2, 6, 2, 0)
 188   TEST (3, 6, 2, 0)
 189   TEST (4, 6, 2, 0)
 190   TEST (5, 6, 2, 0)
 191   TEST (6, 6, 2, 0)
 192   TEST (7, 6, 2, 0)
 193   TEST (0, 7, 2, 0)
 194   TEST (1, 7, 2, 0)
 195   TEST (2, 7, 2, 0)
 196   TEST (3, 7, 2, 0)
 197   TEST (4, 7, 2, 0)
 198   TEST (5, 7, 2, 0)
 199   TEST (6, 7, 2, 0)
 200   TEST (7, 7, 2, 0)
 201   TEST (0, 0, 3, 0)
 202   TEST (1, 0, 3, 0)
 203   TEST (2, 0, 3, 0)
 204   TEST (3, 0, 3, 0)
 205   TEST (4, 0, 3, 0)
 206   TEST (5, 0, 3, 0)
 207   TEST (6, 0, 3, 0)
 208   TEST (7, 0, 3, 0)
 209   TEST (0, 1, 3, 0)
 210   TEST (1, 1, 3, 0)
 211   TEST (2, 1, 3, 0)
 212   TEST (3, 1, 3, 0)
 213   TEST (4, 1, 3, 0)
 214   TEST (5, 1, 3, 0)
 215   TEST (6, 1, 3, 0)
 216   TEST (7, 1, 3, 0)
 217   TEST (0, 2, 3, 0)
 218   TEST (1, 2, 3, 0)
 219   TEST (2, 2, 3, 0)
 220   TEST (3, 2, 3, 0)
 221   TEST (4, 2, 3, 0)
 222   TEST (5, 2, 3, 0)
 223   TEST (6, 2, 3, 0)
 224   TEST (7, 2, 3, 0)
 225   TEST (0, 3, 3, 0)
 226   TEST (1, 3, 3, 0)
 227   TEST (2, 3, 3, 0)
 228   TEST (3, 3, 3, 0)
 229   TEST (4, 3, 3, 0)
 230   TEST (5, 3, 3, 0)
 231   TEST (6, 3, 3, 0)
 232   TEST (7, 3, 3, 0)
 233   TEST (0, 4, 3, 0)
 234   TEST (1, 4, 3, 0)
 235   TEST (2, 4, 3, 0)
 236   TEST (3, 4, 3, 0)
 237   TEST (4, 4, 3, 0)
 238   TEST (5, 4, 3, 0)
 239   TEST (6, 4, 3, 0)
 240   TEST (7, 4, 3, 0)
 241   TEST (0, 5, 3, 0)
 242   TEST (1, 5, 3, 0)
 243   TEST (2, 5, 3, 0)
 244   TEST (3, 5, 3, 0)
 245   TEST (4, 5, 3, 0)
 246   TEST (5, 5, 3, 0)
 247   TEST (6, 5, 3, 0)
 248   TEST (7, 5, 3, 0)
 249   TEST (0, 6, 3, 0)
 250   TEST (1, 6, 3, 0)
 251   TEST (2, 6, 3, 0)
 252   TEST (3, 6, 3, 0)
 253   TEST (4, 6, 3, 0)
 254   TEST (5, 6, 3, 0)
 255   TEST (6, 6, 3, 0)
 256   TEST (7, 6, 3, 0)
 257   TEST (0, 7, 3, 0)
 258   TEST (1, 7, 3, 0)
 259   TEST (2, 7, 3, 0)
 260   TEST (3, 7, 3, 0)
 261   TEST (4, 7, 3, 0)
 262   TEST (5, 7, 3, 0)
 263   TEST (6, 7, 3, 0)
 264   TEST (7, 7, 3, 0)
 265 }
 266
 267 void check2(void)
 268 {
 269   TEST (0, 0, 4, 0)
 270   TEST (1, 0, 4, 0)
 271   TEST (2, 0, 4, 0)
 272   TEST (3, 0, 4, 0)
 273   TEST (4, 0, 4, 0)
 274   TEST (5, 0, 4, 0)
 275   TEST (6, 0, 4, 0)
 276   TEST (7, 0, 4, 0)
 277   TEST (0, 1, 4, 0)
 278   TEST (1, 1, 4, 0)
 279   TEST (2, 1, 4, 0)
 280   TEST (3, 1, 4, 0)
 281   TEST (4, 1, 4, 0)
 282   TEST (5, 1, 4, 0)
 283   TEST (6, 1, 4, 0)
 284   TEST (7, 1, 4, 0)
 285   TEST (0, 2, 4, 0)
 286   TEST (1, 2, 4, 0)
 287   TEST (2, 2, 4, 0)
 288   TEST (3, 2, 4, 0)
 289   TEST (4, 2, 4, 0)
 290   TEST (5, 2, 4, 0)
 291   TEST (6, 2, 4, 0)
 292   TEST (7, 2, 4, 0)
 293   TEST (0, 3, 4, 0)
 294   TEST (1, 3, 4, 0)
 295   TEST (2, 3, 4, 0)
 296   TEST (3, 3, 4, 0)
 297   TEST (4, 3, 4, 0)
 298   TEST (5, 3, 4, 0)
 299   TEST (6, 3, 4, 0)
 300   TEST (7, 3, 4, 0)
 301   TEST (0, 4, 4, 0)
 302   TEST (1, 4, 4, 0)
 303   TEST (2, 4, 4, 0)
 304   TEST (3, 4, 4, 0)
 305   TEST (4, 4, 4, 0)
 306   TEST (5, 4, 4, 0)
 307   TEST (6, 4, 4, 0)
 308   TEST (7, 4, 4, 0)
 309   TEST (0, 5, 4, 0)
 310   TEST (1, 5, 4, 0)
 311   TEST (2, 5, 4, 0)
 312   TEST (3, 5, 4, 0)
 313   TEST (4, 5, 4, 0)
 314   TEST (5, 5, 4, 0)
 315   TEST (6, 5, 4, 0)
 316   TEST (7, 5, 4, 0)
 317   TEST (0, 6, 4, 0)
 318   TEST (1, 6, 4, 0)
 319   TEST (2, 6, 4, 0)
 320   TEST (3, 6, 4, 0)
 321   TEST (4, 6, 4, 0)
 322   TEST (5, 6, 4, 0)
 323   TEST (6, 6, 4, 0)
 324   TEST (7, 6, 4, 0)
 325   TEST (0, 7, 4, 0)
 326   TEST (1, 7, 4, 0)
 327   TEST (2, 7, 4, 0)
 328   TEST (3, 7, 4, 0)
 329   TEST (4, 7, 4, 0)
 330   TEST (5, 7, 4, 0)
 331   TEST (6, 7, 4, 0)
 332   TEST (7, 7, 4, 0)
 333   TEST (0, 0, 5, 0)
 334   TEST (1, 0, 5, 0)
 335   TEST (2, 0, 5, 0)
 336   TEST (3, 0, 5, 0)
 337   TEST (4, 0, 5, 0)
 338   TEST (5, 0, 5, 0)
 339   TEST (6, 0, 5, 0)
 340   TEST (7, 0, 5, 0)
 341   TEST (0, 1, 5, 0)
 342   TEST (1, 1, 5, 0)
 343   TEST (2, 1, 5, 0)
 344   TEST (3, 1, 5, 0)
 345   TEST (4, 1, 5, 0)
 346   TEST (5, 1, 5, 0)
 347   TEST (6, 1, 5, 0)
 348   TEST (7, 1, 5, 0)
 349   TEST (0, 2, 5, 0)
 350   TEST (1, 2, 5, 0)
 351   TEST (2, 2, 5, 0)
 352   TEST (3, 2, 5, 0)
 353   TEST (4, 2, 5, 0)
 354   TEST (5, 2, 5, 0)
 355   TEST (6, 2, 5, 0)
 356   TEST (7, 2, 5, 0)
 357   TEST (0, 3, 5, 0)
 358   TEST (1, 3, 5, 0)
 359   TEST (2, 3, 5, 0)
 360   TEST (3, 3, 5, 0)
 361   TEST (4, 3, 5, 0)
 362   TEST (5, 3, 5, 0)
 363   TEST (6, 3, 5, 0)
 364   TEST (7, 3, 5, 0)
 365   TEST (0, 4, 5, 0)
 366   TEST (1, 4, 5, 0)
 367   TEST (2, 4, 5, 0)
 368   TEST (3, 4, 5, 0)
 369   TEST (4, 4, 5, 0)
 370   TEST (5, 4, 5, 0)
 371   TEST (6, 4, 5, 0)
 372   TEST (7, 4, 5, 0)
 373   TEST (0, 5, 5, 0)
 374   TEST (1, 5, 5, 0)
 375   TEST (2, 5, 5, 0)
 376   TEST (3, 5, 5, 0)
 377   TEST (4, 5, 5, 0)
 378   TEST (5, 5, 5, 0)
 379   TEST (6, 5, 5, 0)
 380   TEST (7, 5, 5, 0)
 381   TEST (0, 6, 5, 0)
 382   TEST (1, 6, 5, 0)
 383   TEST (2, 6, 5, 0)
 384   TEST (3, 6, 5, 0)
 385   TEST (4, 6, 5, 0)
 386   TEST (5, 6, 5, 0)
 387   TEST (6, 6, 5, 0)
 388   TEST (7, 6, 5, 0)
 389   TEST (0, 7, 5, 0)
 390   TEST (1, 7, 5, 0)
 391   TEST (2, 7, 5, 0)
 392   TEST (3, 7, 5, 0)
 393   TEST (4, 7, 5, 0)
 394   TEST (5, 7, 5, 0)
 395   TEST (6, 7, 5, 0)
 396   TEST (7, 7, 5, 0)
 397 }
 398
 399 void check3(void)
 400 {
 401   TEST (0, 0, 6, 0)
 402   TEST (1, 0, 6, 0)
 403   TEST (2, 0, 6, 0)
 404   TEST (3, 0, 6, 0)
 405   TEST (4, 0, 6, 0)
 406   TEST (5, 0, 6, 0)
 407   TEST (6, 0, 6, 0)
 408   TEST (7, 0, 6, 0)
 409   TEST (0, 1, 6, 0)
 410   TEST (1, 1, 6, 0)
 411   TEST (2, 1, 6, 0)
 412   TEST (3, 1, 6, 0)
 413   TEST (4, 1, 6, 0)
 414   TEST (5, 1, 6, 0)
 415   TEST (6, 1, 6, 0)
 416   TEST (7, 1, 6, 0)
 417   TEST (0, 2, 6, 0)
 418   TEST (1, 2, 6, 0)
 419   TEST (2, 2, 6, 0)
 420   TEST (3, 2, 6, 0)
 421   TEST (4, 2, 6, 0)
 422   TEST (5, 2, 6, 0)
 423   TEST (6, 2, 6, 0)
 424   TEST (7, 2, 6, 0)
 425   TEST (0, 3, 6, 0)
 426   TEST (1, 3, 6, 0)
 427   TEST (2, 3, 6, 0)
 428   TEST (3, 3, 6, 0)
 429   TEST (4, 3, 6, 0)
 430   TEST (5, 3, 6, 0)
 431   TEST (6, 3, 6, 0)
 432   TEST (7, 3, 6, 0)
 433   TEST (0, 4, 6, 0)
 434   TEST (1, 4, 6, 0)
 435   TEST (2, 4, 6, 0)
 436   TEST (3, 4, 6, 0)
 437   TEST (4, 4, 6, 0)
 438   TEST (5, 4, 6, 0)
 439   TEST (6, 4, 6, 0)
 440   TEST (7, 4, 6, 0)
 441   TEST (0, 5, 6, 0)
 442   TEST (1, 5, 6, 0)
 443   TEST (2, 5, 6, 0)
 444   TEST (3, 5, 6, 0)
 445   TEST (4, 5, 6, 0)
 446   TEST (5, 5, 6, 0)
 447   TEST (6, 5, 6, 0)
 448   TEST (7, 5, 6, 0)
 449   TEST (0, 6, 6, 0)
 450   TEST (1, 6, 6, 0)
 451   TEST (2, 6, 6, 0)
 452   TEST (3, 6, 6, 0)
 453   TEST (4, 6, 6, 0)
 454   TEST (5, 6, 6, 0)
 455   TEST (6, 6, 6, 0)
 456   TEST (7, 6, 6, 0)
 457   TEST (0, 7, 6, 0)
 458   TEST (1, 7, 6, 0)
 459   TEST (2, 7, 6, 0)
 460   TEST (3, 7, 6, 0)
 461   TEST (4, 7, 6, 0)
 462   TEST (5, 7, 6, 0)
 463   TEST (6, 7, 6, 0)
 464   TEST (7, 7, 6, 0)
 465   TEST (0, 0, 7, 0)
 466   TEST (1, 0, 7, 0)
 467   TEST (2, 0, 7, 0)
 468   TEST (3, 0, 7, 0)
 469   TEST (4, 0, 7, 0)
 470   TEST (5, 0, 7, 0)
 471   TEST (6, 0, 7, 0)
 472   TEST (7, 0, 7, 0)
 473   TEST (0, 1, 7, 0)
 474   TEST (1, 1, 7, 0)
 475   TEST (2, 1, 7, 0)
 476   TEST (3, 1, 7, 0)
 477   TEST (4, 1, 7, 0)
 478   TEST (5, 1, 7, 0)
 479   TEST (6, 1, 7, 0)
 480   TEST (7, 1, 7, 0)
 481   TEST (0, 2, 7, 0)
 482   TEST (1, 2, 7, 0)
 483   TEST (2, 2, 7, 0)
 484   TEST (3, 2, 7, 0)
 485   TEST (4, 2, 7, 0)
 486   TEST (5, 2, 7, 0)
 487   TEST (6, 2, 7, 0)
 488   TEST (7, 2, 7, 0)
 489   TEST (0, 3, 7, 0)
 490   TEST (1, 3, 7, 0)
 491   TEST (2, 3, 7, 0)
 492   TEST (3, 3, 7, 0)
 493   TEST (4, 3, 7, 0)
 494   TEST (5, 3, 7, 0)
 495   TEST (6, 3, 7, 0)
 496   TEST (7, 3, 7, 0)
 497   TEST (0, 4, 7, 0)
 498   TEST (1, 4, 7, 0)
 499   TEST (2, 4, 7, 0)
 500   TEST (3, 4, 7, 0)
 501   TEST (4, 4, 7, 0)
 502   TEST (5, 4, 7, 0)
 503   TEST (6, 4, 7, 0)
 504   TEST (7, 4, 7, 0)
 505   TEST (0, 5, 7, 0)
 506   TEST (1, 5, 7, 0)
 507   TEST (2, 5, 7, 0)
 508   TEST (3, 5, 7, 0)
 509   TEST (4, 5, 7, 0)
 510   TEST (5, 5, 7, 0)
 511   TEST (6, 5, 7, 0)
 512   TEST (7, 5, 7, 0)
 513   TEST (0, 6, 7, 0)
 514   TEST (1, 6, 7, 0)
 515   TEST (2, 6, 7, 0)
 516   TEST (3, 6, 7, 0)
 517   TEST (4, 6, 7, 0)
 518   TEST (5, 6, 7, 0)
 519   TEST (6, 6, 7, 0)
 520   TEST (7, 6, 7, 0)
 521   TEST (0, 7, 7, 0)
 522   TEST (1, 7, 7, 0)
 523   TEST (2, 7, 7, 0)
 524   TEST (3, 7, 7, 0)
 525   TEST (4, 7, 7, 0)
 526   TEST (5, 7, 7, 0)
 527   TEST (6, 7, 7, 0)
 528   TEST (7, 7, 7, 0)
 529 }
 530
 531 void check4(void)
 532 {
 533   TEST (0, 0, 0, 1)
 534   TEST (1, 0, 0, 1)
 535   TEST (2, 0, 0, 1)
 536   TEST (3, 0, 0, 1)
 537   TEST (4, 0, 0, 1)
 538   TEST (5, 0, 0, 1)
 539   TEST (6, 0, 0, 1)
 540   TEST (7, 0, 0, 1)
 541   TEST (0, 1, 0, 1)
 542   TEST (1, 1, 0, 1)
 543   TEST (2, 1, 0, 1)
 544   TEST (3, 1, 0, 1)
 545   TEST (4, 1, 0, 1)
 546   TEST (5, 1, 0, 1)
 547   TEST (6, 1, 0, 1)
 548   TEST (7, 1, 0, 1)
 549   TEST (0, 2, 0, 1)
 550   TEST (1, 2, 0, 1)
 551   TEST (2, 2, 0, 1)
 552   TEST (3, 2, 0, 1)
 553   TEST (4, 2, 0, 1)
 554   TEST (5, 2, 0, 1)
 555   TEST (6, 2, 0, 1)
 556   TEST (7, 2, 0, 1)
 557   TEST (0, 3, 0, 1)
 558   TEST (1, 3, 0, 1)
 559   TEST (2, 3, 0, 1)
 560   TEST (3, 3, 0, 1)
 561   TEST (4, 3, 0, 1)
 562   TEST (5, 3, 0, 1)
 563   TEST (6, 3, 0, 1)
 564   TEST (7, 3, 0, 1)
 565   TEST (0, 4, 0, 1)
 566   TEST (1, 4, 0, 1)
 567   TEST (2, 4, 0, 1)
 568   TEST (3, 4, 0, 1)
 569   TEST (4, 4, 0, 1)
 570   TEST (5, 4, 0, 1)
 571   TEST (6, 4, 0, 1)
 572   TEST (7, 4, 0, 1)
 573   TEST (0, 5, 0, 1)
 574   TEST (1, 5, 0, 1)
 575   TEST (2, 5, 0, 1)
 576   TEST (3, 5, 0, 1)
 577   TEST (4, 5, 0, 1)
 578   TEST (5, 5, 0, 1)
 579   TEST (6, 5, 0, 1)
 580   TEST (7, 5, 0, 1)
 581   TEST (0, 6, 0, 1)
 582   TEST (1, 6, 0, 1)
 583   TEST (2, 6, 0, 1)
 584   TEST (3, 6, 0, 1)
 585   TEST (4, 6, 0, 1)
 586   TEST (5, 6, 0, 1)
 587   TEST (6, 6, 0, 1)
 588   TEST (7, 6, 0, 1)
 589   TEST (0, 7, 0, 1)
 590   TEST (1, 7, 0, 1)
 591   TEST (2, 7, 0, 1)
 592   TEST (3, 7, 0, 1)
 593   TEST (4, 7, 0, 1)
 594   TEST (5, 7, 0, 1)
 595   TEST (6, 7, 0, 1)
 596   TEST (7, 7, 0, 1)
 597   TEST (0, 0, 1, 1)
 598   TEST (1, 0, 1, 1)
 599   TEST (2, 0, 1, 1)
 600   TEST (3, 0, 1, 1)
 601   TEST (4, 0, 1, 1)
 602   TEST (5, 0, 1, 1)
 603   TEST (6, 0, 1, 1)
 604   TEST (7, 0, 1, 1)
 605   TEST (0, 1, 1, 1)
 606   TEST (1, 1, 1, 1)
 607   TEST (2, 1, 1, 1)
 608   TEST (3, 1, 1, 1)
 609   TEST (4, 1, 1, 1)
 610   TEST (5, 1, 1, 1)
 611   TEST (6, 1, 1, 1)
 612   TEST (7, 1, 1, 1)
 613   TEST (0, 2, 1, 1)
 614   TEST (1, 2, 1, 1)
 615   TEST (2, 2, 1, 1)
 616   TEST (3, 2, 1, 1)
 617   TEST (4, 2, 1, 1)
 618   TEST (5, 2, 1, 1)
 619   TEST (6, 2, 1, 1)
 620   TEST (7, 2, 1, 1)
 621   TEST (0, 3, 1, 1)
 622   TEST (1, 3, 1, 1)
 623   TEST (2, 3, 1, 1)
 624   TEST (3, 3, 1, 1)
 625   TEST (4, 3, 1, 1)
 626   TEST (5, 3, 1, 1)
 627   TEST (6, 3, 1, 1)
 628   TEST (7, 3, 1, 1)
 629   TEST (0, 4, 1, 1)
 630   TEST (1, 4, 1, 1)
 631   TEST (2, 4, 1, 1)
 632   TEST (3, 4, 1, 1)
 633   TEST (4, 4, 1, 1)
 634   TEST (5, 4, 1, 1)
 635   TEST (6, 4, 1, 1)
 636   TEST (7, 4, 1, 1)
 637   TEST (0, 5, 1, 1)
 638   TEST (1, 5, 1, 1)
 639   TEST (2, 5, 1, 1)
 640   TEST (3, 5, 1, 1)
 641   TEST (4, 5, 1, 1)
 642   TEST (5, 5, 1, 1)
 643   TEST (6, 5, 1, 1)
 644   TEST (7, 5, 1, 1)
 645   TEST (0, 6, 1, 1)
 646   TEST (1, 6, 1, 1)
 647   TEST (2, 6, 1, 1)
 648   TEST (3, 6, 1, 1)
 649   TEST (4, 6, 1, 1)
 650   TEST (5, 6, 1, 1)
 651   TEST (6, 6, 1, 1)
 652   TEST (7, 6, 1, 1)
 653   TEST (0, 7, 1, 1)
 654   TEST (1, 7, 1, 1)
 655   TEST (2, 7, 1, 1)
 656   TEST (3, 7, 1, 1)
 657   TEST (4, 7, 1, 1)
 658   TEST (5, 7, 1, 1)
 659   TEST (6, 7, 1, 1)
 660   TEST (7, 7, 1, 1)
 661 }
 662
 663 void check5(void)
 664 {
 665   TEST (0, 0, 2, 1)
 666   TEST (1, 0, 2, 1)
 667   TEST (2, 0, 2, 1)
 668   TEST (3, 0, 2, 1)
 669   TEST (4, 0, 2, 1)
 670   TEST (5, 0, 2, 1)
 671   TEST (6, 0, 2, 1)
 672   TEST (7, 0, 2, 1)
 673   TEST (0, 1, 2, 1)
 674   TEST (1, 1, 2, 1)
 675   TEST (2, 1, 2, 1)
 676   TEST (3, 1, 2, 1)
 677   TEST (4, 1, 2, 1)
 678   TEST (5, 1, 2, 1)
 679   TEST (6, 1, 2, 1)
 680   TEST (7, 1, 2, 1)
 681   TEST (0, 2, 2, 1)
 682   TEST (1, 2, 2, 1)
 683   TEST (2, 2, 2, 1)
 684   TEST (3, 2, 2, 1)
 685   TEST (4, 2, 2, 1)
 686   TEST (5, 2, 2, 1)
 687   TEST (6, 2, 2, 1)
 688   TEST (7, 2, 2, 1)
 689   TEST (0, 3, 2, 1)
 690   TEST (1, 3, 2, 1)
 691   TEST (2, 3, 2, 1)
 692   TEST (3, 3, 2, 1)
 693   TEST (4, 3, 2, 1)
 694   TEST (5, 3, 2, 1)
 695   TEST (6, 3, 2, 1)
 696   TEST (7, 3, 2, 1)
 697   TEST (0, 4, 2, 1)
 698   TEST (1, 4, 2, 1)
 699   TEST (2, 4, 2, 1)
 700   TEST (3, 4, 2, 1)
 701   TEST (4, 4, 2, 1)
 702   TEST (5, 4, 2, 1)
 703   TEST (6, 4, 2, 1)
 704   TEST (7, 4, 2, 1)
 705   TEST (0, 5, 2, 1)
 706   TEST (1, 5, 2, 1)
 707   TEST (2, 5, 2, 1)
 708   TEST (3, 5, 2, 1)
 709   TEST (4, 5, 2, 1)
 710   TEST (5, 5, 2, 1)
 711   TEST (6, 5, 2, 1)
 712   TEST (7, 5, 2, 1)
 713   TEST (0, 6, 2, 1)
 714   TEST (1, 6, 2, 1)
 715   TEST (2, 6, 2, 1)
 716   TEST (3, 6, 2, 1)
 717   TEST (4, 6, 2, 1)
 718   TEST (5, 6, 2, 1)
 719   TEST (6, 6, 2, 1)
 720   TEST (7, 6, 2, 1)
 721   TEST (0, 7, 2, 1)
 722   TEST (1, 7, 2, 1)
 723   TEST (2, 7, 2, 1)
 724   TEST (3, 7, 2, 1)
 725   TEST (4, 7, 2, 1)
 726   TEST (5, 7, 2, 1)
 727   TEST (6, 7, 2, 1)
 728   TEST (7, 7, 2, 1)
 729   TEST (0, 0, 3, 1)
 730   TEST (1, 0, 3, 1)
 731   TEST (2, 0, 3, 1)
 732   TEST (3, 0, 3, 1)
 733   TEST (4, 0, 3, 1)
 734   TEST (5, 0, 3, 1)
 735   TEST (6, 0, 3, 1)
 736   TEST (7, 0, 3, 1)
 737   TEST (0, 1, 3, 1)
 738   TEST (1, 1, 3, 1)
 739   TEST (2, 1, 3, 1)
 740   TEST (3, 1, 3, 1)
 741   TEST (4, 1, 3, 1)
 742   TEST (5, 1, 3, 1)
 743   TEST (6, 1, 3, 1)
 744   TEST (7, 1, 3, 1)
 745   TEST (0, 2, 3, 1)
 746   TEST (1, 2, 3, 1)
 747   TEST (2, 2, 3, 1)
 748   TEST (3, 2, 3, 1)
 749   TEST (4, 2, 3, 1)
 750   TEST (5, 2, 3, 1)
 751   TEST (6, 2, 3, 1)
 752   TEST (7, 2, 3, 1)
 753   TEST (0, 3, 3, 1)
 754   TEST (1, 3, 3, 1)
 755   TEST (2, 3, 3, 1)
 756   TEST (3, 3, 3, 1)
 757   TEST (4, 3, 3, 1)
 758   TEST (5, 3, 3, 1)
 759   TEST (6, 3, 3, 1)
 760   TEST (7, 3, 3, 1)
 761   TEST (0, 4, 3, 1)
 762   TEST (1, 4, 3, 1)
 763   TEST (2, 4, 3, 1)
 764   TEST (3, 4, 3, 1)
 765   TEST (4, 4, 3, 1)
 766   TEST (5, 4, 3, 1)
 767   TEST (6, 4, 3, 1)
 768   TEST (7, 4, 3, 1)
 769   TEST (0, 5, 3, 1)
 770   TEST (1, 5, 3, 1)
 771   TEST (2, 5, 3, 1)
 772   TEST (3, 5, 3, 1)
 773   TEST (4, 5, 3, 1)
 774   TEST (5, 5, 3, 1)
 775   TEST (6, 5, 3, 1)
 776   TEST (7, 5, 3, 1)
 777   TEST (0, 6, 3, 1)
 778   TEST (1, 6, 3, 1)
 779   TEST (2, 6, 3, 1)
 780   TEST (3, 6, 3, 1)
 781   TEST (4, 6, 3, 1)
 782   TEST (5, 6, 3, 1)
 783   TEST (6, 6, 3, 1)
 784   TEST (7, 6, 3, 1)
 785   TEST (0, 7, 3, 1)
 786   TEST (1, 7, 3, 1)
 787   TEST (2, 7, 3, 1)
 788   TEST (3, 7, 3, 1)
 789   TEST (4, 7, 3, 1)
 790   TEST (5, 7, 3, 1)
 791   TEST (6, 7, 3, 1)
 792   TEST (7, 7, 3, 1)
 793 }
 794
 795 void check6(void)
 796 {
 797   TEST (0, 0, 4, 1)
 798   TEST (1, 0, 4, 1)
 799   TEST (2, 0, 4, 1)
 800   TEST (3, 0, 4, 1)
 801   TEST (4, 0, 4, 1)
 802   TEST (5, 0, 4, 1)
 803   TEST (6, 0, 4, 1)
 804   TEST (7, 0, 4, 1)
 805   TEST (0, 1, 4, 1)
 806   TEST (1, 1, 4, 1)
 807   TEST (2, 1, 4, 1)
 808   TEST (3, 1, 4, 1)
 809   TEST (4, 1, 4, 1)
 810   TEST (5, 1, 4, 1)
 811   TEST (6, 1, 4, 1)
 812   TEST (7, 1, 4, 1)
 813   TEST (0, 2, 4, 1)
 814   TEST (1, 2, 4, 1)
 815   TEST (2, 2, 4, 1)
 816   TEST (3, 2, 4, 1)
 817   TEST (4, 2, 4, 1)
 818   TEST (5, 2, 4, 1)
 819   TEST (6, 2, 4, 1)
 820   TEST (7, 2, 4, 1)
 821   TEST (0, 3, 4, 1)
 822   TEST (1, 3, 4, 1)
 823   TEST (2, 3, 4, 1)
 824   TEST (3, 3, 4, 1)
 825   TEST (4, 3, 4, 1)
 826   TEST (5, 3, 4, 1)
 827   TEST (6, 3, 4, 1)
 828   TEST (7, 3, 4, 1)
 829   TEST (0, 4, 4, 1)
 830   TEST (1, 4, 4, 1)
 831   TEST (2, 4, 4, 1)
 832   TEST (3, 4, 4, 1)
 833   TEST (4, 4, 4, 1)
 834   TEST (5, 4, 4, 1)
 835   TEST (6, 4, 4, 1)
 836   TEST (7, 4, 4, 1)
 837   TEST (0, 5, 4, 1)
 838   TEST (1, 5, 4, 1)
 839   TEST (2, 5, 4, 1)
 840   TEST (3, 5, 4, 1)
 841   TEST (4, 5, 4, 1)
 842   TEST (5, 5, 4, 1)
 843   TEST (6, 5, 4, 1)
 844   TEST (7, 5, 4, 1)
 845   TEST (0, 6, 4, 1)
 846   TEST (1, 6, 4, 1)
 847   TEST (2, 6, 4, 1)
 848   TEST (3, 6, 4, 1)
 849   TEST (4, 6, 4, 1)
 850   TEST (5, 6, 4, 1)
 851   TEST (6, 6, 4, 1)
 852   TEST (7, 6, 4, 1)
 853   TEST (0, 7, 4, 1)
 854   TEST (1, 7, 4, 1)
 855   TEST (2, 7, 4, 1)
 856   TEST (3, 7, 4, 1)
 857   TEST (4, 7, 4, 1)
 858   TEST (5, 7, 4, 1)
 859   TEST (6, 7, 4, 1)
 860   TEST (7, 7, 4, 1)
 861   TEST (0, 0, 5, 1)
 862   TEST (1, 0, 5, 1)
 863   TEST (2, 0, 5, 1)
 864   TEST (3, 0, 5, 1)
 865   TEST (4, 0, 5, 1)
 866   TEST (5, 0, 5, 1)
 867   TEST (6, 0, 5, 1)
 868   TEST (7, 0, 5, 1)
 869   TEST (0, 1, 5, 1)
 870   TEST (1, 1, 5, 1)
 871   TEST (2, 1, 5, 1)
 872   TEST (3, 1, 5, 1)
 873   TEST (4, 1, 5, 1)
 874   TEST (5, 1, 5, 1)
 875   TEST (6, 1, 5, 1)
 876   TEST (7, 1, 5, 1)
 877   TEST (0, 2, 5, 1)
 878   TEST (1, 2, 5, 1)
 879   TEST (2, 2, 5, 1)
 880   TEST (3, 2, 5, 1)
 881   TEST (4, 2, 5, 1)
 882   TEST (5, 2, 5, 1)
 883   TEST (6, 2, 5, 1)
 884   TEST (7, 2, 5, 1)
 885   TEST (0, 3, 5, 1)
 886   TEST (1, 3, 5, 1)
 887   TEST (2, 3, 5, 1)
 888   TEST (3, 3, 5, 1)
 889   TEST (4, 3, 5, 1)
 890   TEST (5, 3, 5, 1)
 891   TEST (6, 3, 5, 1)
 892   TEST (7, 3, 5, 1)
 893   TEST (0, 4, 5, 1)
 894   TEST (1, 4, 5, 1)
 895   TEST (2, 4, 5, 1)
 896   TEST (3, 4, 5, 1)
 897   TEST (4, 4, 5, 1)
 898   TEST (5, 4, 5, 1)
 899   TEST (6, 4, 5, 1)
 900   TEST (7, 4, 5, 1)
 901   TEST (0, 5, 5, 1)
 902   TEST (1, 5, 5, 1)
 903   TEST (2, 5, 5, 1)
 904   TEST (3, 5, 5, 1)
 905   TEST (4, 5, 5, 1)
 906   TEST (5, 5, 5, 1)
 907   TEST (6, 5, 5, 1)
 908   TEST (7, 5, 5, 1)
 909   TEST (0, 6, 5, 1)
 910   TEST (1, 6, 5, 1)
 911   TEST (2, 6, 5, 1)
 912   TEST (3, 6, 5, 1)
 913   TEST (4, 6, 5, 1)
 914   TEST (5, 6, 5, 1)
 915   TEST (6, 6, 5, 1)
 916   TEST (7, 6, 5, 1)
 917   TEST (0, 7, 5, 1)
 918   TEST (1, 7, 5, 1)
 919   TEST (2, 7, 5, 1)
 920   TEST (3, 7, 5, 1)
 921   TEST (4, 7, 5, 1)
 922   TEST (5, 7, 5, 1)
 923   TEST (6, 7, 5, 1)
 924   TEST (7, 7, 5, 1)
 925 }
 926
 927 void check7(void)
 928 {
 929   TEST (0, 0, 6, 1)
 930   TEST (1, 0, 6, 1)
 931   TEST (2, 0, 6, 1)
 932   TEST (3, 0, 6, 1)
 933   TEST (4, 0, 6, 1)
 934   TEST (5, 0, 6, 1)
 935   TEST (6, 0, 6, 1)
 936   TEST (7, 0, 6, 1)
 937   TEST (0, 1, 6, 1)
 938   TEST (1, 1, 6, 1)
 939   TEST (2, 1, 6, 1)
 940   TEST (3, 1, 6, 1)
 941   TEST (4, 1, 6, 1)
 942   TEST (5, 1, 6, 1)
 943   TEST (6, 1, 6, 1)
 944   TEST (7, 1, 6, 1)
 945   TEST (0, 2, 6, 1)
 946   TEST (1, 2, 6, 1)
 947   TEST (2, 2, 6, 1)
 948   TEST (3, 2, 6, 1)
 949   TEST (4, 2, 6, 1)
 950   TEST (5, 2, 6, 1)
 951   TEST (6, 2, 6, 1)
 952   TEST (7, 2, 6, 1)
 953   TEST (0, 3, 6, 1)
 954   TEST (1, 3, 6, 1)
 955   TEST (2, 3, 6, 1)
 956   TEST (3, 3, 6, 1)
 957   TEST (4, 3, 6, 1)
 958   TEST (5, 3, 6, 1)
 959   TEST (6, 3, 6, 1)
 960   TEST (7, 3, 6, 1)
 961   TEST (0, 4, 6, 1)
 962   TEST (1, 4, 6, 1)
 963   TEST (2, 4, 6, 1)
 964   TEST (3, 4, 6, 1)
 965   TEST (4, 4, 6, 1)
 966   TEST (5, 4, 6, 1)
 967   TEST (6, 4, 6, 1)
 968   TEST (7, 4, 6, 1)
 969   TEST (0, 5, 6, 1)
 970   TEST (1, 5, 6, 1)
 971   TEST (2, 5, 6, 1)
 972   TEST (3, 5, 6, 1)
 973   TEST (4, 5, 6, 1)
 974   TEST (5, 5, 6, 1)
 975   TEST (6, 5, 6, 1)
 976   TEST (7, 5, 6, 1)
 977   TEST (0, 6, 6, 1)
 978   TEST (1, 6, 6, 1)
 979   TEST (2, 6, 6, 1)
 980   TEST (3, 6, 6, 1)
 981   TEST (4, 6, 6, 1)
 982   TEST (5, 6, 6, 1)
 983   TEST (6, 6, 6, 1)
 984   TEST (7, 6, 6, 1)
 985   TEST (0, 7, 6, 1)
 986   TEST (1, 7, 6, 1)
 987   TEST (2, 7, 6, 1)
 988   TEST (3, 7, 6, 1)
 989   TEST (4, 7, 6, 1)
 990   TEST (5, 7, 6, 1)
 991   TEST (6, 7, 6, 1)
 992   TEST (7, 7, 6, 1)
 993   TEST (0, 0, 7, 1)
 994   TEST (1, 0, 7, 1)
 995   TEST (2, 0, 7, 1)
 996   TEST (3, 0, 7, 1)
 997   TEST (4, 0, 7, 1)
 998   TEST (5, 0, 7, 1)
 999   TEST (6, 0, 7, 1)
1000   TEST (7, 0, 7, 1)
1001   TEST (0, 1, 7, 1)
1002   TEST (1, 1, 7, 1)
1003   TEST (2, 1, 7, 1)
1004   TEST (3, 1, 7, 1)
1005   TEST (4, 1, 7, 1)
1006   TEST (5, 1, 7, 1)
1007   TEST (6, 1, 7, 1)
1008   TEST (7, 1, 7, 1)
1009   TEST (0, 2, 7, 1)
1010   TEST (1, 2, 7, 1)
1011   TEST (2, 2, 7, 1)
1012   TEST (3, 2, 7, 1)
1013   TEST (4, 2, 7, 1)
1014   TEST (5, 2, 7, 1)
1015   TEST (6, 2, 7, 1)
1016   TEST (7, 2, 7, 1)
1017   TEST (0, 3, 7, 1)
1018   TEST (1, 3, 7, 1)
1019   TEST (2, 3, 7, 1)
1020   TEST (3, 3, 7, 1)
1021   TEST (4, 3, 7, 1)
1022   TEST (5, 3, 7, 1)
1023   TEST (6, 3, 7, 1)
1024   TEST (7, 3, 7, 1)
1025   TEST (0, 4, 7, 1)
1026   TEST (1, 4, 7, 1)
1027   TEST (2, 4, 7, 1)
1028   TEST (3, 4, 7, 1)
1029   TEST (4, 4, 7, 1)
1030   TEST (5, 4, 7, 1)
1031   TEST (6, 4, 7, 1)
1032   TEST (7, 4, 7, 1)
1033   TEST (0, 5, 7, 1)
1034   TEST (1, 5, 7, 1)
1035   TEST (2, 5, 7, 1)
1036   TEST (3, 5, 7, 1)
1037   TEST (4, 5, 7, 1)
1038   TEST (5, 5, 7, 1)
1039   TEST (6, 5, 7, 1)
1040   TEST (7, 5, 7, 1)
1041   TEST (0, 6, 7, 1)
1042   TEST (1, 6, 7, 1)
1043   TEST (2, 6, 7, 1)
1044   TEST (3, 6, 7, 1)
1045   TEST (4, 6, 7, 1)
1046   TEST (5, 6, 7, 1)
1047   TEST (6, 6, 7, 1)
1048   TEST (7, 6, 7, 1)
1049   TEST (0, 7, 7, 1)
1050   TEST (1, 7, 7, 1)
1051   TEST (2, 7, 7, 1)
1052   TEST (3, 7, 7, 1)
1053   TEST (4, 7, 7, 1)
1054   TEST (5, 7, 7, 1)
1055   TEST (6, 7, 7, 1)
1056   TEST (7, 7, 7, 1)
1057 }
1058
1059 void check8(void)
1060 {
1061   TEST (0, 0, 0, 2)
1062   TEST (1, 0, 0, 2)
1063   TEST (2, 0, 0, 2)
1064   TEST (3, 0, 0, 2)
1065   TEST (4, 0, 0, 2)
1066   TEST (5, 0, 0, 2)
1067   TEST (6, 0, 0, 2)
1068   TEST (7, 0, 0, 2)
1069   TEST (0, 1, 0, 2)
1070   TEST (1, 1, 0, 2)
1071   TEST (2, 1, 0, 2)
1072   TEST (3, 1, 0, 2)
1073   TEST (4, 1, 0, 2)
1074   TEST (5, 1, 0, 2)
1075   TEST (6, 1, 0, 2)
1076   TEST (7, 1, 0, 2)
1077   TEST (0, 2, 0, 2)
1078   TEST (1, 2, 0, 2)
1079   TEST (2, 2, 0, 2)
1080   TEST (3, 2, 0, 2)
1081   TEST (4, 2, 0, 2)
1082   TEST (5, 2, 0, 2)
1083   TEST (6, 2, 0, 2)
1084   TEST (7, 2, 0, 2)
1085   TEST (0, 3, 0, 2)
1086   TEST (1, 3, 0, 2)
1087   TEST (2, 3, 0, 2)
1088   TEST (3, 3, 0, 2)
1089   TEST (4, 3, 0, 2)
1090   TEST (5, 3, 0, 2)
1091   TEST (6, 3, 0, 2)
1092   TEST (7, 3, 0, 2)
1093   TEST (0, 4, 0, 2)
1094   TEST (1, 4, 0, 2)
1095   TEST (2, 4, 0, 2)
1096   TEST (3, 4, 0, 2)
1097   TEST (4, 4, 0, 2)
1098   TEST (5, 4, 0, 2)
1099   TEST (6, 4, 0, 2)
1100   TEST (7, 4, 0, 2)
1101   TEST (0, 5, 0, 2)
1102   TEST (1, 5, 0, 2)
1103   TEST (2, 5, 0, 2)
1104   TEST (3, 5, 0, 2)
1105   TEST (4, 5, 0, 2)
1106   TEST (5, 5, 0, 2)
1107   TEST (6, 5, 0, 2)
1108   TEST (7, 5, 0, 2)
1109   TEST (0, 6, 0, 2)
1110   TEST (1, 6, 0, 2)
1111   TEST (2, 6, 0, 2)
1112   TEST (3, 6, 0, 2)
1113   TEST (4, 6, 0, 2)
1114   TEST (5, 6, 0, 2)
1115   TEST (6, 6, 0, 2)
1116   TEST (7, 6, 0, 2)
1117   TEST (0, 7, 0, 2)
1118   TEST (1, 7, 0, 2)
1119   TEST (2, 7, 0, 2)
1120   TEST (3, 7, 0, 2)
1121   TEST (4, 7, 0, 2)
1122   TEST (5, 7, 0, 2)
1123   TEST (6, 7, 0, 2)
1124   TEST (7, 7, 0, 2)
1125   TEST (0, 0, 1, 2)
1126   TEST (1, 0, 1, 2)
1127   TEST (2, 0, 1, 2)
1128   TEST (3, 0, 1, 2)
1129   TEST (4, 0, 1, 2)
1130   TEST (5, 0, 1, 2)
1131   TEST (6, 0, 1, 2)
1132   TEST (7, 0, 1, 2)
1133   TEST (0, 1, 1, 2)
1134   TEST (1, 1, 1, 2)
1135   TEST (2, 1, 1, 2)
1136   TEST (3, 1, 1, 2)
1137   TEST (4, 1, 1, 2)
1138   TEST (5, 1, 1, 2)
1139   TEST (6, 1, 1, 2)
1140   TEST (7, 1, 1, 2)
1141   TEST (0, 2, 1, 2)
1142   TEST (1, 2, 1, 2)
1143   TEST (2, 2, 1, 2)
1144   TEST (3, 2, 1, 2)
1145   TEST (4, 2, 1, 2)
1146   TEST (5, 2, 1, 2)
1147   TEST (6, 2, 1, 2)
1148   TEST (7, 2, 1, 2)
1149   TEST (0, 3, 1, 2)
1150   TEST (1, 3, 1, 2)
1151   TEST (2, 3, 1, 2)
1152   TEST (3, 3, 1, 2)
1153   TEST (4, 3, 1, 2)
1154   TEST (5, 3, 1, 2)
1155   TEST (6, 3, 1, 2)
1156   TEST (7, 3, 1, 2)
1157   TEST (0, 4, 1, 2)
1158   TEST (1, 4, 1, 2)
1159   TEST (2, 4, 1, 2)
1160   TEST (3, 4, 1, 2)
1161   TEST (4, 4, 1, 2)
1162   TEST (5, 4, 1, 2)
1163   TEST (6, 4, 1, 2)
1164   TEST (7, 4, 1, 2)
1165   TEST (0, 5, 1, 2)
1166   TEST (1, 5, 1, 2)
1167   TEST (2, 5, 1, 2)
1168   TEST (3, 5, 1, 2)
1169   TEST (4, 5, 1, 2)
1170   TEST (5, 5, 1, 2)
1171   TEST (6, 5, 1, 2)
1172   TEST (7, 5, 1, 2)
1173   TEST (0, 6, 1, 2)
1174   TEST (1, 6, 1, 2)
1175   TEST (2, 6, 1, 2)
1176   TEST (3, 6, 1, 2)
1177   TEST (4, 6, 1, 2)
1178   TEST (5, 6, 1, 2)
1179   TEST (6, 6, 1, 2)
1180   TEST (7, 6, 1, 2)
1181   TEST (0, 7, 1, 2)
1182   TEST (1, 7, 1, 2)
1183   TEST (2, 7, 1, 2)
1184   TEST (3, 7, 1, 2)
1185   TEST (4, 7, 1, 2)
1186   TEST (5, 7, 1, 2)
1187   TEST (6, 7, 1, 2)
1188   TEST (7, 7, 1, 2)
1189 }
1190
1191 void check9(void)
1192 {
1193   TEST (0, 0, 2, 2)
1194   TEST (1, 0, 2, 2)
1195   TEST (2, 0, 2, 2)
1196   TEST (3, 0, 2, 2)
1197   TEST (4, 0, 2, 2)
1198   TEST (5, 0, 2, 2)
1199   TEST (6, 0, 2, 2)
1200   TEST (7, 0, 2, 2)
1201   TEST (0, 1, 2, 2)
1202   TEST (1, 1, 2, 2)
1203   TEST (2, 1, 2, 2)
1204   TEST (3, 1, 2, 2)
1205   TEST (4, 1, 2, 2)
1206   TEST (5, 1, 2, 2)
1207   TEST (6, 1, 2, 2)
1208   TEST (7, 1, 2, 2)
1209   TEST (0, 2, 2, 2)
1210   TEST (1, 2, 2, 2)
1211   TEST (2, 2, 2, 2)
1212   TEST (3, 2, 2, 2)
1213   TEST (4, 2, 2, 2)
1214   TEST (5, 2, 2, 2)
1215   TEST (6, 2, 2, 2)
1216   TEST (7, 2, 2, 2)
1217   TEST (0, 3, 2, 2)
1218   TEST (1, 3, 2, 2)
1219   TEST (2, 3, 2, 2)
1220   TEST (3, 3, 2, 2)
1221   TEST (4, 3, 2, 2)
1222   TEST (5, 3, 2, 2)
1223   TEST (6, 3, 2, 2)
1224   TEST (7, 3, 2, 2)
1225   TEST (0, 4, 2, 2)
1226   TEST (1, 4, 2, 2)
1227   TEST (2, 4, 2, 2)
1228   TEST (3, 4, 2, 2)
1229   TEST (4, 4, 2, 2)
1230   TEST (5, 4, 2, 2)
1231   TEST (6, 4, 2, 2)
1232   TEST (7, 4, 2, 2)
1233   TEST (0, 5, 2, 2)
1234   TEST (1, 5, 2, 2)
1235   TEST (2, 5, 2, 2)
1236   TEST (3, 5, 2, 2)
1237   TEST (4, 5, 2, 2)
1238   TEST (5, 5, 2, 2)
1239   TEST (6, 5, 2, 2)
1240   TEST (7, 5, 2, 2)
1241   TEST (0, 6, 2, 2)
1242   TEST (1, 6, 2, 2)
1243   TEST (2, 6, 2, 2)
1244   TEST (3, 6, 2, 2)
1245   TEST (4, 6, 2, 2)
1246   TEST (5, 6, 2, 2)
1247   TEST (6, 6, 2, 2)
1248   TEST (7, 6, 2, 2)
1249   TEST (0, 7, 2, 2)
1250   TEST (1, 7, 2, 2)
1251   TEST (2, 7, 2, 2)
1252   TEST (3, 7, 2, 2)
1253   TEST (4, 7, 2, 2)
1254   TEST (5, 7, 2, 2)
1255   TEST (6, 7, 2, 2)
1256   TEST (7, 7, 2, 2)
1257   TEST (0, 0, 3, 2)
1258   TEST (1, 0, 3, 2)
1259   TEST (2, 0, 3, 2)
1260   TEST (3, 0, 3, 2)
1261   TEST (4, 0, 3, 2)
1262   TEST (5, 0, 3, 2)
1263   TEST (6, 0, 3, 2)
1264   TEST (7, 0, 3, 2)
1265   TEST (0, 1, 3, 2)
1266   TEST (1, 1, 3, 2)
1267   TEST (2, 1, 3, 2)
1268   TEST (3, 1, 3, 2)
1269   TEST (4, 1, 3, 2)
1270   TEST (5, 1, 3, 2)
1271   TEST (6, 1, 3, 2)
1272   TEST (7, 1, 3, 2)
1273   TEST (0, 2, 3, 2)
1274   TEST (1, 2, 3, 2)
1275   TEST (2, 2, 3, 2)
1276   TEST (3, 2, 3, 2)
1277   TEST (4, 2, 3, 2)
1278   TEST (5, 2, 3, 2)
1279   TEST (6, 2, 3, 2)
1280   TEST (7, 2, 3, 2)
1281   TEST (0, 3, 3, 2)
1282   TEST (1, 3, 3, 2)
1283   TEST (2, 3, 3, 2)
1284   TEST (3, 3, 3, 2)
1285   TEST (4, 3, 3, 2)
1286   TEST (5, 3, 3, 2)
1287   TEST (6, 3, 3, 2)
1288   TEST (7, 3, 3, 2)
1289   TEST (0, 4, 3, 2)
1290   TEST (1, 4, 3, 2)
1291   TEST (2, 4, 3, 2)
1292   TEST (3, 4, 3, 2)
1293   TEST (4, 4, 3, 2)
1294   TEST (5, 4, 3, 2)
1295   TEST (6, 4, 3, 2)
1296   TEST (7, 4, 3, 2)
1297   TEST (0, 5, 3, 2)
1298   TEST (1, 5, 3, 2)
1299   TEST (2, 5, 3, 2)
1300   TEST (3, 5, 3, 2)
1301   TEST (4, 5, 3, 2)
1302   TEST (5, 5, 3, 2)
1303   TEST (6, 5, 3, 2)
1304   TEST (7, 5, 3, 2)
1305   TEST (0, 6, 3, 2)
1306   TEST (1, 6, 3, 2)
1307   TEST (2, 6, 3, 2)
1308   TEST (3, 6, 3, 2)
1309   TEST (4, 6, 3, 2)
1310   TEST (5, 6, 3, 2)
1311   TEST (6, 6, 3, 2)
1312   TEST (7, 6, 3, 2)
1313   TEST (0, 7, 3, 2)
1314   TEST (1, 7, 3, 2)
1315   TEST (2, 7, 3, 2)
1316   TEST (3, 7, 3, 2)
1317   TEST (4, 7, 3, 2)
1318   TEST (5, 7, 3, 2)
1319   TEST (6, 7, 3, 2)
1320   TEST (7, 7, 3, 2)
1321 }
1322
1323 void check10(void)
1324 {
1325   TEST (0, 0, 4, 2)
1326   TEST (1, 0, 4, 2)
1327   TEST (2, 0, 4, 2)
1328   TEST (3, 0, 4, 2)
1329   TEST (4, 0, 4, 2)
1330   TEST (5, 0, 4, 2)
1331   TEST (6, 0, 4, 2)
1332   TEST (7, 0, 4, 2)
1333   TEST (0, 1, 4, 2)
1334   TEST (1, 1, 4, 2)
1335   TEST (2, 1, 4, 2)
1336   TEST (3, 1, 4, 2)
1337   TEST (4, 1, 4, 2)
1338   TEST (5, 1, 4, 2)
1339   TEST (6, 1, 4, 2)
1340   TEST (7, 1, 4, 2)
1341   TEST (0, 2, 4, 2)
1342   TEST (1, 2, 4, 2)
1343   TEST (2, 2, 4, 2)
1344   TEST (3, 2, 4, 2)
1345   TEST (4, 2, 4, 2)
1346   TEST (5, 2, 4, 2)
1347   TEST (6, 2, 4, 2)
1348   TEST (7, 2, 4, 2)
1349   TEST (0, 3, 4, 2)
1350   TEST (1, 3, 4, 2)
1351   TEST (2, 3, 4, 2)
1352   TEST (3, 3, 4, 2)
1353   TEST (4, 3, 4, 2)
1354   TEST (5, 3, 4, 2)
1355   TEST (6, 3, 4, 2)
1356   TEST (7, 3, 4, 2)
1357   TEST (0, 4, 4, 2)
1358   TEST (1, 4, 4, 2)
1359   TEST (2, 4, 4, 2)
1360   TEST (3, 4, 4, 2)
1361   TEST (4, 4, 4, 2)
1362   TEST (5, 4, 4, 2)
1363   TEST (6, 4, 4, 2)
1364   TEST (7, 4, 4, 2)
1365   TEST (0, 5, 4, 2)
1366   TEST (1, 5, 4, 2)
1367   TEST (2, 5, 4, 2)
1368   TEST (3, 5, 4, 2)
1369   TEST (4, 5, 4, 2)
1370   TEST (5, 5, 4, 2)
1371   TEST (6, 5, 4, 2)
1372   TEST (7, 5, 4, 2)
1373   TEST (0, 6, 4, 2)
1374   TEST (1, 6, 4, 2)
1375   TEST (2, 6, 4, 2)
1376   TEST (3, 6, 4, 2)
1377   TEST (4, 6, 4, 2)
1378   TEST (5, 6, 4, 2)
1379   TEST (6, 6, 4, 2)
1380   TEST (7, 6, 4, 2)
1381   TEST (0, 7, 4, 2)
1382   TEST (1, 7, 4, 2)
1383   TEST (2, 7, 4, 2)
1384   TEST (3, 7, 4, 2)
1385   TEST (4, 7, 4, 2)
1386   TEST (5, 7, 4, 2)
1387   TEST (6, 7, 4, 2)
1388   TEST (7, 7, 4, 2)
1389   TEST (0, 0, 5, 2)
1390   TEST (1, 0, 5, 2)
1391   TEST (2, 0, 5, 2)
1392   TEST (3, 0, 5, 2)
1393   TEST (4, 0, 5, 2)
1394   TEST (5, 0, 5, 2)
1395   TEST (6, 0, 5, 2)
1396   TEST (7, 0, 5, 2)
1397   TEST (0, 1, 5, 2)
1398   TEST (1, 1, 5, 2)
1399   TEST (2, 1, 5, 2)
1400   TEST (3, 1, 5, 2)
1401   TEST (4, 1, 5, 2)
1402   TEST (5, 1, 5, 2)
1403   TEST (6, 1, 5, 2)
1404   TEST (7, 1, 5, 2)
1405   TEST (0, 2, 5, 2)
1406   TEST (1, 2, 5, 2)
1407   TEST (2, 2, 5, 2)
1408   TEST (3, 2, 5, 2)
1409   TEST (4, 2, 5, 2)
1410   TEST (5, 2, 5, 2)
1411   TEST (6, 2, 5, 2)
1412   TEST (7, 2, 5, 2)
1413   TEST (0, 3, 5, 2)
1414   TEST (1, 3, 5, 2)
1415   TEST (2, 3, 5, 2)
1416   TEST (3, 3, 5, 2)
1417   TEST (4, 3, 5, 2)
1418   TEST (5, 3, 5, 2)
1419   TEST (6, 3, 5, 2)
1420   TEST (7, 3, 5, 2)
1421   TEST (0, 4, 5, 2)
1422   TEST (1, 4, 5, 2)
1423   TEST (2, 4, 5, 2)
1424   TEST (3, 4, 5, 2)
1425   TEST (4, 4, 5, 2)
1426   TEST (5, 4, 5, 2)
1427   TEST (6, 4, 5, 2)
1428   TEST (7, 4, 5, 2)
1429   TEST (0, 5, 5, 2)
1430   TEST (1, 5, 5, 2)
1431   TEST (2, 5, 5, 2)
1432   TEST (3, 5, 5, 2)
1433   TEST (4, 5, 5, 2)
1434   TEST (5, 5, 5, 2)
1435   TEST (6, 5, 5, 2)
1436   TEST (7, 5, 5, 2)
1437   TEST (0, 6, 5, 2)
1438   TEST (1, 6, 5, 2)
1439   TEST (2, 6, 5, 2)
1440   TEST (3, 6, 5, 2)
1441   TEST (4, 6, 5, 2)
1442   TEST (5, 6, 5, 2)
1443   TEST (6, 6, 5, 2)
1444   TEST (7, 6, 5, 2)
1445   TEST (0, 7, 5, 2)
1446   TEST (1, 7, 5, 2)
1447   TEST (2, 7, 5, 2)
1448   TEST (3, 7, 5, 2)
1449   TEST (4, 7, 5, 2)
1450   TEST (5, 7, 5, 2)
1451   TEST (6, 7, 5, 2)
1452   TEST (7, 7, 5, 2)
1453 }
1454
1455 void check11(void)
1456 {
1457   TEST (0, 0, 6, 2)
1458   TEST (1, 0, 6, 2)
1459   TEST (2, 0, 6, 2)
1460   TEST (3, 0, 6, 2)
1461   TEST (4, 0, 6, 2)
1462   TEST (5, 0, 6, 2)
1463   TEST (6, 0, 6, 2)
1464   TEST (7, 0, 6, 2)
1465   TEST (0, 1, 6, 2)
1466   TEST (1, 1, 6, 2)
1467   TEST (2, 1, 6, 2)
1468   TEST (3, 1, 6, 2)
1469   TEST (4, 1, 6, 2)
1470   TEST (5, 1, 6, 2)
1471   TEST (6, 1, 6, 2)
1472   TEST (7, 1, 6, 2)
1473   TEST (0, 2, 6, 2)
1474   TEST (1, 2, 6, 2)
1475   TEST (2, 2, 6, 2)
1476   TEST (3, 2, 6, 2)
1477   TEST (4, 2, 6, 2)
1478   TEST (5, 2, 6, 2)
1479   TEST (6, 2, 6, 2)
1480   TEST (7, 2, 6, 2)
1481   TEST (0, 3, 6, 2)
1482   TEST (1, 3, 6, 2)
1483   TEST (2, 3, 6, 2)
1484   TEST (3, 3, 6, 2)
1485   TEST (4, 3, 6, 2)
1486   TEST (5, 3, 6, 2)
1487   TEST (6, 3, 6, 2)
1488   TEST (7, 3, 6, 2)
1489   TEST (0, 4, 6, 2)
1490   TEST (1, 4, 6, 2)
1491   TEST (2, 4, 6, 2)
1492   TEST (3, 4, 6, 2)
1493   TEST (4, 4, 6, 2)
1494   TEST (5, 4, 6, 2)
1495   TEST (6, 4, 6, 2)
1496   TEST (7, 4, 6, 2)
1497   TEST (0, 5, 6, 2)
1498   TEST (1, 5, 6, 2)
1499   TEST (2, 5, 6, 2)
1500   TEST (3, 5, 6, 2)
1501   TEST (4, 5, 6, 2)
1502   TEST (5, 5, 6, 2)
1503   TEST (6, 5, 6, 2)
1504   TEST (7, 5, 6, 2)
1505   TEST (0, 6, 6, 2)
1506   TEST (1, 6, 6, 2)
1507   TEST (2, 6, 6, 2)
1508   TEST (3, 6, 6, 2)
1509   TEST (4, 6, 6, 2)
1510   TEST (5, 6, 6, 2)
1511   TEST (6, 6, 6, 2)
1512   TEST (7, 6, 6, 2)
1513   TEST (0, 7, 6, 2)
1514   TEST (1, 7, 6, 2)
1515   TEST (2, 7, 6, 2)
1516   TEST (3, 7, 6, 2)
1517   TEST (4, 7, 6, 2)
1518   TEST (5, 7, 6, 2)
1519   TEST (6, 7, 6, 2)
1520   TEST (7, 7, 6, 2)
1521   TEST (0, 0, 7, 2)
1522   TEST (1, 0, 7, 2)
1523   TEST (2, 0, 7, 2)
1524   TEST (3, 0, 7, 2)
1525   TEST (4, 0, 7, 2)
1526   TEST (5, 0, 7, 2)
1527   TEST (6, 0, 7, 2)
1528   TEST (7, 0, 7, 2)
1529   TEST (0, 1, 7, 2)
1530   TEST (1, 1, 7, 2)
1531   TEST (2, 1, 7, 2)
1532   TEST (3, 1, 7, 2)
1533   TEST (4, 1, 7, 2)
1534   TEST (5, 1, 7, 2)
1535   TEST (6, 1, 7, 2)
1536   TEST (7, 1, 7, 2)
1537   TEST (0, 2, 7, 2)
1538   TEST (1, 2, 7, 2)
1539   TEST (2, 2, 7, 2)
1540   TEST (3, 2, 7, 2)
1541   TEST (4, 2, 7, 2)
1542   TEST (5, 2, 7, 2)
1543   TEST (6, 2, 7, 2)
1544   TEST (7, 2, 7, 2)
1545   TEST (0, 3, 7, 2)
1546   TEST (1, 3, 7, 2)
1547   TEST (2, 3, 7, 2)
1548   TEST (3, 3, 7, 2)
1549   TEST (4, 3, 7, 2)
1550   TEST (5, 3, 7, 2)
1551   TEST (6, 3, 7, 2)
1552   TEST (7, 3, 7, 2)
1553   TEST (0, 4, 7, 2)
1554   TEST (1, 4, 7, 2)
1555   TEST (2, 4, 7, 2)
1556   TEST (3, 4, 7, 2)
1557   TEST (4, 4, 7, 2)
1558   TEST (5, 4, 7, 2)
1559   TEST (6, 4, 7, 2)
1560   TEST (7, 4, 7, 2)
1561   TEST (0, 5, 7, 2)
1562   TEST (1, 5, 7, 2)
1563   TEST (2, 5, 7, 2)
1564   TEST (3, 5, 7, 2)
1565   TEST (4, 5, 7, 2)
1566   TEST (5, 5, 7, 2)
1567   TEST (6, 5, 7, 2)
1568   TEST (7, 5, 7, 2)
1569   TEST (0, 6, 7, 2)
1570   TEST (1, 6, 7, 2)
1571   TEST (2, 6, 7, 2)
1572   TEST (3, 6, 7, 2)
1573   TEST (4, 6, 7, 2)
1574   TEST (5, 6, 7, 2)
1575   TEST (6, 6, 7, 2)
1576   TEST (7, 6, 7, 2)
1577   TEST (0, 7, 7, 2)
1578   TEST (1, 7, 7, 2)
1579   TEST (2, 7, 7, 2)
1580   TEST (3, 7, 7, 2)
1581   TEST (4, 7, 7, 2)
1582   TEST (5, 7, 7, 2)
1583   TEST (6, 7, 7, 2)
1584   TEST (7, 7, 7, 2)
1585 }
1586
1587 void check12(void)
1588 {
1589   TEST (0, 0, 0, 3)
1590   TEST (1, 0, 0, 3)
1591   TEST (2, 0, 0, 3)
1592   TEST (3, 0, 0, 3)
1593   TEST (4, 0, 0, 3)
1594   TEST (5, 0, 0, 3)
1595   TEST (6, 0, 0, 3)
1596   TEST (7, 0, 0, 3)
1597   TEST (0, 1, 0, 3)
1598   TEST (1, 1, 0, 3)
1599   TEST (2, 1, 0, 3)
1600   TEST (3, 1, 0, 3)
1601   TEST (4, 1, 0, 3)
1602   TEST (5, 1, 0, 3)
1603   TEST (6, 1, 0, 3)
1604   TEST (7, 1, 0, 3)
1605   TEST (0, 2, 0, 3)
1606   TEST (1, 2, 0, 3)
1607   TEST (2, 2, 0, 3)
1608   TEST (3, 2, 0, 3)
1609   TEST (4, 2, 0, 3)
1610   TEST (5, 2, 0, 3)
1611   TEST (6, 2, 0, 3)
1612   TEST (7, 2, 0, 3)
1613   TEST (0, 3, 0, 3)
1614   TEST (1, 3, 0, 3)
1615   TEST (2, 3, 0, 3)
1616   TEST (3, 3, 0, 3)
1617   TEST (4, 3, 0, 3)
1618   TEST (5, 3, 0, 3)
1619   TEST (6, 3, 0, 3)
1620   TEST (7, 3, 0, 3)
1621   TEST (0, 4, 0, 3)
1622   TEST (1, 4, 0, 3)
1623   TEST (2, 4, 0, 3)
1624   TEST (3, 4, 0, 3)
1625   TEST (4, 4, 0, 3)
1626   TEST (5, 4, 0, 3)
1627   TEST (6, 4, 0, 3)
1628   TEST (7, 4, 0, 3)
1629   TEST (0, 5, 0, 3)
1630   TEST (1, 5, 0, 3)
1631   TEST (2, 5, 0, 3)
1632   TEST (3, 5, 0, 3)
1633   TEST (4, 5, 0, 3)
1634   TEST (5, 5, 0, 3)
1635   TEST (6, 5, 0, 3)
1636   TEST (7, 5, 0, 3)
1637   TEST (0, 6, 0, 3)
1638   TEST (1, 6, 0, 3)
1639   TEST (2, 6, 0, 3)
1640   TEST (3, 6, 0, 3)
1641   TEST (4, 6, 0, 3)
1642   TEST (5, 6, 0, 3)
1643   TEST (6, 6, 0, 3)
1644   TEST (7, 6, 0, 3)
1645   TEST (0, 7, 0, 3)
1646   TEST (1, 7, 0, 3)
1647   TEST (2, 7, 0, 3)
1648   TEST (3, 7, 0, 3)
1649   TEST (4, 7, 0, 3)
1650   TEST (5, 7, 0, 3)
1651   TEST (6, 7, 0, 3)
1652   TEST (7, 7, 0, 3)
1653   TEST (0, 0, 1, 3)
1654   TEST (1, 0, 1, 3)
1655   TEST (2, 0, 1, 3)
1656   TEST (3, 0, 1, 3)
1657   TEST (4, 0, 1, 3)
1658   TEST (5, 0, 1, 3)
1659   TEST (6, 0, 1, 3)
1660   TEST (7, 0, 1, 3)
1661   TEST (0, 1, 1, 3)
1662   TEST (1, 1, 1, 3)
1663   TEST (2, 1, 1, 3)
1664   TEST (3, 1, 1, 3)
1665   TEST (4, 1, 1, 3)
1666   TEST (5, 1, 1, 3)
1667   TEST (6, 1, 1, 3)
1668   TEST (7, 1, 1, 3)
1669   TEST (0, 2, 1, 3)
1670   TEST (1, 2, 1, 3)
1671   TEST (2, 2, 1, 3)
1672   TEST (3, 2, 1, 3)
1673   TEST (4, 2, 1, 3)
1674   TEST (5, 2, 1, 3)
1675   TEST (6, 2, 1, 3)
1676   TEST (7, 2, 1, 3)
1677   TEST (0, 3, 1, 3)
1678   TEST (1, 3, 1, 3)
1679   TEST (2, 3, 1, 3)
1680   TEST (3, 3, 1, 3)
1681   TEST (4, 3, 1, 3)
1682   TEST (5, 3, 1, 3)
1683   TEST (6, 3, 1, 3)
1684   TEST (7, 3, 1, 3)
1685   TEST (0, 4, 1, 3)
1686   TEST (1, 4, 1, 3)
1687   TEST (2, 4, 1, 3)
1688   TEST (3, 4, 1, 3)
1689   TEST (4, 4, 1, 3)
1690   TEST (5, 4, 1, 3)
1691   TEST (6, 4, 1, 3)
1692   TEST (7, 4, 1, 3)
1693   TEST (0, 5, 1, 3)
1694   TEST (1, 5, 1, 3)
1695   TEST (2, 5, 1, 3)
1696   TEST (3, 5, 1, 3)
1697   TEST (4, 5, 1, 3)
1698   TEST (5, 5, 1, 3)
1699   TEST (6, 5, 1, 3)
1700   TEST (7, 5, 1, 3)
1701   TEST (0, 6, 1, 3)
1702   TEST (1, 6, 1, 3)
1703   TEST (2, 6, 1, 3)
1704   TEST (3, 6, 1, 3)
1705   TEST (4, 6, 1, 3)
1706   TEST (5, 6, 1, 3)
1707   TEST (6, 6, 1, 3)
1708   TEST (7, 6, 1, 3)
1709   TEST (0, 7, 1, 3)
1710   TEST (1, 7, 1, 3)
1711   TEST (2, 7, 1, 3)
1712   TEST (3, 7, 1, 3)
1713   TEST (4, 7, 1, 3)
1714   TEST (5, 7, 1, 3)
1715   TEST (6, 7, 1, 3)
1716   TEST (7, 7, 1, 3)
1717 }
1718
1719 void check13(void)
1720 {
1721   TEST (0, 0, 2, 3)
1722   TEST (1, 0, 2, 3)
1723   TEST (2, 0, 2, 3)
1724   TEST (3, 0, 2, 3)
1725   TEST (4, 0, 2, 3)
1726   TEST (5, 0, 2, 3)
1727   TEST (6, 0, 2, 3)
1728   TEST (7, 0, 2, 3)
1729   TEST (0, 1, 2, 3)
1730   TEST (1, 1, 2, 3)
1731   TEST (2, 1, 2, 3)
1732   TEST (3, 1, 2, 3)
1733   TEST (4, 1, 2, 3)
1734   TEST (5, 1, 2, 3)
1735   TEST (6, 1, 2, 3)
1736   TEST (7, 1, 2, 3)
1737   TEST (0, 2, 2, 3)
1738   TEST (1, 2, 2, 3)
1739   TEST (2, 2, 2, 3)
1740   TEST (3, 2, 2, 3)
1741   TEST (4, 2, 2, 3)
1742   TEST (5, 2, 2, 3)
1743   TEST (6, 2, 2, 3)
1744   TEST (7, 2, 2, 3)
1745   TEST (0, 3, 2, 3)
1746   TEST (1, 3, 2, 3)
1747   TEST (2, 3, 2, 3)
1748   TEST (3, 3, 2, 3)
1749   TEST (4, 3, 2, 3)
1750   TEST (5, 3, 2, 3)
1751   TEST (6, 3, 2, 3)
1752   TEST (7, 3, 2, 3)
1753   TEST (0, 4, 2, 3)
1754   TEST (1, 4, 2, 3)
1755   TEST (2, 4, 2, 3)
1756   TEST (3, 4, 2, 3)
1757   TEST (4, 4, 2, 3)
1758   TEST (5, 4, 2, 3)
1759   TEST (6, 4, 2, 3)
1760   TEST (7, 4, 2, 3)
1761   TEST (0, 5, 2, 3)
1762   TEST (1, 5, 2, 3)
1763   TEST (2, 5, 2, 3)
1764   TEST (3, 5, 2, 3)
1765   TEST (4, 5, 2, 3)
1766   TEST (5, 5, 2, 3)
1767   TEST (6, 5, 2, 3)
1768   TEST (7, 5, 2, 3)
1769   TEST (0, 6, 2, 3)
1770   TEST (1, 6, 2, 3)
1771   TEST (2, 6, 2, 3)
1772   TEST (3, 6, 2, 3)
1773   TEST (4, 6, 2, 3)
1774   TEST (5, 6, 2, 3)
1775   TEST (6, 6, 2, 3)
1776   TEST (7, 6, 2, 3)
1777   TEST (0, 7, 2, 3)
1778   TEST (1, 7, 2, 3)
1779   TEST (2, 7, 2, 3)
1780   TEST (3, 7, 2, 3)
1781   TEST (4, 7, 2, 3)
1782   TEST (5, 7, 2, 3)
1783   TEST (6, 7, 2, 3)
1784   TEST (7, 7, 2, 3)
1785   TEST (0, 0, 3, 3)
1786   TEST (1, 0, 3, 3)
1787   TEST (2, 0, 3, 3)
1788   TEST (3, 0, 3, 3)
1789   TEST (4, 0, 3, 3)
1790   TEST (5, 0, 3, 3)
1791   TEST (6, 0, 3, 3)
1792   TEST (7, 0, 3, 3)
1793   TEST (0, 1, 3, 3)
1794   TEST (1, 1, 3, 3)
1795   TEST (2, 1, 3, 3)
1796   TEST (3, 1, 3, 3)
1797   TEST (4, 1, 3, 3)
1798   TEST (5, 1, 3, 3)
1799   TEST (6, 1, 3, 3)
1800   TEST (7, 1, 3, 3)
1801   TEST (0, 2, 3, 3)
1802   TEST (1, 2, 3, 3)
1803   TEST (2, 2, 3, 3)
1804   TEST (3, 2, 3, 3)
1805   TEST (4, 2, 3, 3)
1806   TEST (5, 2, 3, 3)
1807   TEST (6, 2, 3, 3)
1808   TEST (7, 2, 3, 3)
1809   TEST (0, 3, 3, 3)
1810   TEST (1, 3, 3, 3)
1811   TEST (2, 3, 3, 3)
1812   TEST (3, 3, 3, 3)
1813   TEST (4, 3, 3, 3)
1814   TEST (5, 3, 3, 3)
1815   TEST (6, 3, 3, 3)
1816   TEST (7, 3, 3, 3)
1817   TEST (0, 4, 3, 3)
1818   TEST (1, 4, 3, 3)
1819   TEST (2, 4, 3, 3)
1820   TEST (3, 4, 3, 3)
1821   TEST (4, 4, 3, 3)
1822   TEST (5, 4, 3, 3)
1823   TEST (6, 4, 3, 3)
1824   TEST (7, 4, 3, 3)
1825   TEST (0, 5, 3, 3)
1826   TEST (1, 5, 3, 3)
1827   TEST (2, 5, 3, 3)
1828   TEST (3, 5, 3, 3)
1829   TEST (4, 5, 3, 3)
1830   TEST (5, 5, 3, 3)
1831   TEST (6, 5, 3, 3)
1832   TEST (7, 5, 3, 3)
1833   TEST (0, 6, 3, 3)
1834   TEST (1, 6, 3, 3)
1835   TEST (2, 6, 3, 3)
1836   TEST (3, 6, 3, 3)
1837   TEST (4, 6, 3, 3)
1838   TEST (5, 6, 3, 3)
1839   TEST (6, 6, 3, 3)
1840   TEST (7, 6, 3, 3)
1841   TEST (0, 7, 3, 3)
1842   TEST (1, 7, 3, 3)
1843   TEST (2, 7, 3, 3)
1844   TEST (3, 7, 3, 3)
1845   TEST (4, 7, 3, 3)
1846   TEST (5, 7, 3, 3)
1847   TEST (6, 7, 3, 3)
1848   TEST (7, 7, 3, 3)
1849 }
1850
1851 void check14(void)
1852 {
1853   TEST (0, 0, 4, 3)
1854   TEST (1, 0, 4, 3)
1855   TEST (2, 0, 4, 3)
1856   TEST (3, 0, 4, 3)
1857   TEST (4, 0, 4, 3)
1858   TEST (5, 0, 4, 3)
1859   TEST (6, 0, 4, 3)
1860   TEST (7, 0, 4, 3)
1861   TEST (0, 1, 4, 3)
1862   TEST (1, 1, 4, 3)
1863   TEST (2, 1, 4, 3)
1864   TEST (3, 1, 4, 3)
1865   TEST (4, 1, 4, 3)
1866   TEST (5, 1, 4, 3)
1867   TEST (6, 1, 4, 3)
1868   TEST (7, 1, 4, 3)
1869   TEST (0, 2, 4, 3)
1870   TEST (1, 2, 4, 3)
1871   TEST (2, 2, 4, 3)
1872   TEST (3, 2, 4, 3)
1873   TEST (4, 2, 4, 3)
1874   TEST (5, 2, 4, 3)
1875   TEST (6, 2, 4, 3)
1876   TEST (7, 2, 4, 3)
1877   TEST (0, 3, 4, 3)
1878   TEST (1, 3, 4, 3)
1879   TEST (2, 3, 4, 3)
1880   TEST (3, 3, 4, 3)
1881   TEST (4, 3, 4, 3)
1882   TEST (5, 3, 4, 3)
1883   TEST (6, 3, 4, 3)
1884   TEST (7, 3, 4, 3)
1885   TEST (0, 4, 4, 3)
1886   TEST (1, 4, 4, 3)
1887   TEST (2, 4, 4, 3)
1888   TEST (3, 4, 4, 3)
1889   TEST (4, 4, 4, 3)
1890   TEST (5, 4, 4, 3)
1891   TEST (6, 4, 4, 3)
1892   TEST (7, 4, 4, 3)
1893   TEST (0, 5, 4, 3)
1894   TEST (1, 5, 4, 3)
1895   TEST (2, 5, 4, 3)
1896   TEST (3, 5, 4, 3)
1897   TEST (4, 5, 4, 3)
1898   TEST (5, 5, 4, 3)
1899   TEST (6, 5, 4, 3)
1900   TEST (7, 5, 4, 3)
1901   TEST (0, 6, 4, 3)
1902   TEST (1, 6, 4, 3)
1903   TEST (2, 6, 4, 3)
1904   TEST (3, 6, 4, 3)
1905   TEST (4, 6, 4, 3)
1906   TEST (5, 6, 4, 3)
1907   TEST (6, 6, 4, 3)
1908   TEST (7, 6, 4, 3)
1909   TEST (0, 7, 4, 3)
1910   TEST (1, 7, 4, 3)
1911   TEST (2, 7, 4, 3)
1912   TEST (3, 7, 4, 3)
1913   TEST (4, 7, 4, 3)
1914   TEST (5, 7, 4, 3)
1915   TEST (6, 7, 4, 3)
1916   TEST (7, 7, 4, 3)
1917   TEST (0, 0, 5, 3)
1918   TEST (1, 0, 5, 3)
1919   TEST (2, 0, 5, 3)
1920   TEST (3, 0, 5, 3)
1921   TEST (4, 0, 5, 3)
1922   TEST (5, 0, 5, 3)
1923   TEST (6, 0, 5, 3)
1924   TEST (7, 0, 5, 3)
1925   TEST (0, 1, 5, 3)
1926   TEST (1, 1, 5, 3)
1927   TEST (2, 1, 5, 3)
1928   TEST (3, 1, 5, 3)
1929   TEST (4, 1, 5, 3)
1930   TEST (5, 1, 5, 3)
1931   TEST (6, 1, 5, 3)
1932   TEST (7, 1, 5, 3)
1933   TEST (0, 2, 5, 3)
1934   TEST (1, 2, 5, 3)
1935   TEST (2, 2, 5, 3)
1936   TEST (3, 2, 5, 3)
1937   TEST (4, 2, 5, 3)
1938   TEST (5, 2, 5, 3)
1939   TEST (6, 2, 5, 3)
1940   TEST (7, 2, 5, 3)
1941   TEST (0, 3, 5, 3)
1942   TEST (1, 3, 5, 3)
1943   TEST (2, 3, 5, 3)
1944   TEST (3, 3, 5, 3)
1945   TEST (4, 3, 5, 3)
1946   TEST (5, 3, 5, 3)
1947   TEST (6, 3, 5, 3)
1948   TEST (7, 3, 5, 3)
1949   TEST (0, 4, 5, 3)
1950   TEST (1, 4, 5, 3)
1951   TEST (2, 4, 5, 3)
1952   TEST (3, 4, 5, 3)
1953   TEST (4, 4, 5, 3)
1954   TEST (5, 4, 5, 3)
1955   TEST (6, 4, 5, 3)
1956   TEST (7, 4, 5, 3)
1957   TEST (0, 5, 5, 3)
1958   TEST (1, 5, 5, 3)
1959   TEST (2, 5, 5, 3)
1960   TEST (3, 5, 5, 3)
1961   TEST (4, 5, 5, 3)
1962   TEST (5, 5, 5, 3)
1963   TEST (6, 5, 5, 3)
1964   TEST (7, 5, 5, 3)
1965   TEST (0, 6, 5, 3)
1966   TEST (1, 6, 5, 3)
1967   TEST (2, 6, 5, 3)
1968   TEST (3, 6, 5, 3)
1969   TEST (4, 6, 5, 3)
1970   TEST (5, 6, 5, 3)
1971   TEST (6, 6, 5, 3)
1972   TEST (7, 6, 5, 3)
1973   TEST (0, 7, 5, 3)
1974   TEST (1, 7, 5, 3)
1975   TEST (2, 7, 5, 3)
1976   TEST (3, 7, 5, 3)
1977   TEST (4, 7, 5, 3)
1978   TEST (5, 7, 5, 3)
1979   TEST (6, 7, 5, 3)
1980   TEST (7, 7, 5, 3)
1981 }
1982
1983 void check15(void)
1984 {
1985   TEST (0, 0, 6, 3)
1986   TEST (1, 0, 6, 3)
1987   TEST (2, 0, 6, 3)
1988   TEST (3, 0, 6, 3)
1989   TEST (4, 0, 6, 3)
1990   TEST (5, 0, 6, 3)
1991   TEST (6, 0, 6, 3)
1992   TEST (7, 0, 6, 3)
1993   TEST (0, 1, 6, 3)
1994   TEST (1, 1, 6, 3)
1995   TEST (2, 1, 6, 3)
1996   TEST (3, 1, 6, 3)
1997   TEST (4, 1, 6, 3)
1998   TEST (5, 1, 6, 3)
1999   TEST (6, 1, 6, 3)
2000   TEST (7, 1, 6, 3)
2001   TEST (0, 2, 6, 3)
2002   TEST (1, 2, 6, 3)
2003   TEST (2, 2, 6, 3)
2004   TEST (3, 2, 6, 3)
2005   TEST (4, 2, 6, 3)
2006   TEST (5, 2, 6, 3)
2007   TEST (6, 2, 6, 3)
2008   TEST (7, 2, 6, 3)
2009   TEST (0, 3, 6, 3)
2010   TEST (1, 3, 6, 3)
2011   TEST (2, 3, 6, 3)
2012   TEST (3, 3, 6, 3)
2013   TEST (4, 3, 6, 3)
2014   TEST (5, 3, 6, 3)
2015   TEST (6, 3, 6, 3)
2016   TEST (7, 3, 6, 3)
2017   TEST (0, 4, 6, 3)
2018   TEST (1, 4, 6, 3)
2019   TEST (2, 4, 6, 3)
2020   TEST (3, 4, 6, 3)
2021   TEST (4, 4, 6, 3)
2022   TEST (5, 4, 6, 3)
2023   TEST (6, 4, 6, 3)
2024   TEST (7, 4, 6, 3)
2025   TEST (0, 5, 6, 3)
2026   TEST (1, 5, 6, 3)
2027   TEST (2, 5, 6, 3)
2028   TEST (3, 5, 6, 3)
2029   TEST (4, 5, 6, 3)
2030   TEST (5, 5, 6, 3)
2031   TEST (6, 5, 6, 3)
2032   TEST (7, 5, 6, 3)
2033   TEST (0, 6, 6, 3)
2034   TEST (1, 6, 6, 3)
2035   TEST (2, 6, 6, 3)
2036   TEST (3, 6, 6, 3)
2037   TEST (4, 6, 6, 3)
2038   TEST (5, 6, 6, 3)
2039   TEST (6, 6, 6, 3)
2040   TEST (7, 6, 6, 3)
2041   TEST (0, 7, 6, 3)
2042   TEST (1, 7, 6, 3)
2043   TEST (2, 7, 6, 3)
2044   TEST (3, 7, 6, 3)
2045   TEST (4, 7, 6, 3)
2046   TEST (5, 7, 6, 3)
2047   TEST (6, 7, 6, 3)
2048   TEST (7, 7, 6, 3)
2049   TEST (0, 0, 7, 3)
2050   TEST (1, 0, 7, 3)
2051   TEST (2, 0, 7, 3)
2052   TEST (3, 0, 7, 3)
2053   TEST (4, 0, 7, 3)
2054   TEST (5, 0, 7, 3)
2055   TEST (6, 0, 7, 3)
2056   TEST (7, 0, 7, 3)
2057   TEST (0, 1, 7, 3)
2058   TEST (1, 1, 7, 3)
2059   TEST (2, 1, 7, 3)
2060   TEST (3, 1, 7, 3)
2061   TEST (4, 1, 7, 3)
2062   TEST (5, 1, 7, 3)
2063   TEST (6, 1, 7, 3)
2064   TEST (7, 1, 7, 3)
2065   TEST (0, 2, 7, 3)
2066   TEST (1, 2, 7, 3)
2067   TEST (2, 2, 7, 3)
2068   TEST (3, 2, 7, 3)
2069   TEST (4, 2, 7, 3)
2070   TEST (5, 2, 7, 3)
2071   TEST (6, 2, 7, 3)
2072   TEST (7, 2, 7, 3)
2073   TEST (0, 3, 7, 3)
2074   TEST (1, 3, 7, 3)
2075   TEST (2, 3, 7, 3)
2076   TEST (3, 3, 7, 3)
2077   TEST (4, 3, 7, 3)
2078   TEST (5, 3, 7, 3)
2079   TEST (6, 3, 7, 3)
2080   TEST (7, 3, 7, 3)
2081   TEST (0, 4, 7, 3)
2082   TEST (1, 4, 7, 3)
2083   TEST (2, 4, 7, 3)
2084   TEST (3, 4, 7, 3)
2085   TEST (4, 4, 7, 3)
2086   TEST (5, 4, 7, 3)
2087   TEST (6, 4, 7, 3)
2088   TEST (7, 4, 7, 3)
2089   TEST (0, 5, 7, 3)
2090   TEST (1, 5, 7, 3)
2091   TEST (2, 5, 7, 3)
2092   TEST (3, 5, 7, 3)
2093   TEST (4, 5, 7, 3)
2094   TEST (5, 5, 7, 3)
2095   TEST (6, 5, 7, 3)
2096   TEST (7, 5, 7, 3)
2097   TEST (0, 6, 7, 3)
2098   TEST (1, 6, 7, 3)
2099   TEST (2, 6, 7, 3)
2100   TEST (3, 6, 7, 3)
2101   TEST (4, 6, 7, 3)
2102   TEST (5, 6, 7, 3)
2103   TEST (6, 6, 7, 3)
2104   TEST (7, 6, 7, 3)
2105   TEST (0, 7, 7, 3)
2106   TEST (1, 7, 7, 3)
2107   TEST (2, 7, 7, 3)
2108   TEST (3, 7, 7, 3)
2109   TEST (4, 7, 7, 3)
2110   TEST (5, 7, 7, 3)
2111   TEST (6, 7, 7, 3)
2112   TEST (7, 7, 7, 3)
2113 }
2114
2115 void check16(void)
2116 {
2117   TEST (0, 0, 0, 4)
2118   TEST (1, 0, 0, 4)
2119   TEST (2, 0, 0, 4)
2120   TEST (3, 0, 0, 4)
2121   TEST (4, 0, 0, 4)
2122   TEST (5, 0, 0, 4)
2123   TEST (6, 0, 0, 4)
2124   TEST (7, 0, 0, 4)
2125   TEST (0, 1, 0, 4)
2126   TEST (1, 1, 0, 4)
2127   TEST (2, 1, 0, 4)
2128   TEST (3, 1, 0, 4)
2129   TEST (4, 1, 0, 4)
2130   TEST (5, 1, 0, 4)
2131   TEST (6, 1, 0, 4)
2132   TEST (7, 1, 0, 4)
2133   TEST (0, 2, 0, 4)
2134   TEST (1, 2, 0, 4)
2135   TEST (2, 2, 0, 4)
2136   TEST (3, 2, 0, 4)
2137   TEST (4, 2, 0, 4)
2138   TEST (5, 2, 0, 4)
2139   TEST (6, 2, 0, 4)
2140   TEST (7, 2, 0, 4)
2141   TEST (0, 3, 0, 4)
2142   TEST (1, 3, 0, 4)
2143   TEST (2, 3, 0, 4)
2144   TEST (3, 3, 0, 4)
2145   TEST (4, 3, 0, 4)
2146   TEST (5, 3, 0, 4)
2147   TEST (6, 3, 0, 4)
2148   TEST (7, 3, 0, 4)
2149   TEST (0, 4, 0, 4)
2150   TEST (1, 4, 0, 4)
2151   TEST (2, 4, 0, 4)
2152   TEST (3, 4, 0, 4)
2153   TEST (4, 4, 0, 4)
2154   TEST (5, 4, 0, 4)
2155   TEST (6, 4, 0, 4)
2156   TEST (7, 4, 0, 4)
2157   TEST (0, 5, 0, 4)
2158   TEST (1, 5, 0, 4)
2159   TEST (2, 5, 0, 4)
2160   TEST (3, 5, 0, 4)
2161   TEST (4, 5, 0, 4)
2162   TEST (5, 5, 0, 4)
2163   TEST (6, 5, 0, 4)
2164   TEST (7, 5, 0, 4)
2165   TEST (0, 6, 0, 4)
2166   TEST (1, 6, 0, 4)
2167   TEST (2, 6, 0, 4)
2168   TEST (3, 6, 0, 4)
2169   TEST (4, 6, 0, 4)
2170   TEST (5, 6, 0, 4)
2171   TEST (6, 6, 0, 4)
2172   TEST (7, 6, 0, 4)
2173   TEST (0, 7, 0, 4)
2174   TEST (1, 7, 0, 4)
2175   TEST (2, 7, 0, 4)
2176   TEST (3, 7, 0, 4)
2177   TEST (4, 7, 0, 4)
2178   TEST (5, 7, 0, 4)
2179   TEST (6, 7, 0, 4)
2180   TEST (7, 7, 0, 4)
2181   TEST (0, 0, 1, 4)
2182   TEST (1, 0, 1, 4)
2183   TEST (2, 0, 1, 4)
2184   TEST (3, 0, 1, 4)
2185   TEST (4, 0, 1, 4)
2186   TEST (5, 0, 1, 4)
2187   TEST (6, 0, 1, 4)
2188   TEST (7, 0, 1, 4)
2189   TEST (0, 1, 1, 4)
2190   TEST (1, 1, 1, 4)
2191   TEST (2, 1, 1, 4)
2192   TEST (3, 1, 1, 4)
2193   TEST (4, 1, 1, 4)
2194   TEST (5, 1, 1, 4)
2195   TEST (6, 1, 1, 4)
2196   TEST (7, 1, 1, 4)
2197   TEST (0, 2, 1, 4)
2198   TEST (1, 2, 1, 4)
2199   TEST (2, 2, 1, 4)
2200   TEST (3, 2, 1, 4)
2201   TEST (4, 2, 1, 4)
2202   TEST (5, 2, 1, 4)
2203   TEST (6, 2, 1, 4)
2204   TEST (7, 2, 1, 4)
2205   TEST (0, 3, 1, 4)
2206   TEST (1, 3, 1, 4)
2207   TEST (2, 3, 1, 4)
2208   TEST (3, 3, 1, 4)
2209   TEST (4, 3, 1, 4)
2210   TEST (5, 3, 1, 4)
2211   TEST (6, 3, 1, 4)
2212   TEST (7, 3, 1, 4)
2213   TEST (0, 4, 1, 4)
2214   TEST (1, 4, 1, 4)
2215   TEST (2, 4, 1, 4)
2216   TEST (3, 4, 1, 4)
2217   TEST (4, 4, 1, 4)
2218   TEST (5, 4, 1, 4)
2219   TEST (6, 4, 1, 4)
2220   TEST (7, 4, 1, 4)
2221   TEST (0, 5, 1, 4)
2222   TEST (1, 5, 1, 4)
2223   TEST (2, 5, 1, 4)
2224   TEST (3, 5, 1, 4)
2225   TEST (4, 5, 1, 4)
2226   TEST (5, 5, 1, 4)
2227   TEST (6, 5, 1, 4)
2228   TEST (7, 5, 1, 4)
2229   TEST (0, 6, 1, 4)
2230   TEST (1, 6, 1, 4)
2231   TEST (2, 6, 1, 4)
2232   TEST (3, 6, 1, 4)
2233   TEST (4, 6, 1, 4)
2234   TEST (5, 6, 1, 4)
2235   TEST (6, 6, 1, 4)
2236   TEST (7, 6, 1, 4)
2237   TEST (0, 7, 1, 4)
2238   TEST (1, 7, 1, 4)
2239   TEST (2, 7, 1, 4)
2240   TEST (3, 7, 1, 4)
2241   TEST (4, 7, 1, 4)
2242   TEST (5, 7, 1, 4)
2243   TEST (6, 7, 1, 4)
2244   TEST (7, 7, 1, 4)
2245 }
2246
2247 void check17(void)
2248 {
2249   TEST (0, 0, 2, 4)
2250   TEST (1, 0, 2, 4)
2251   TEST (2, 0, 2, 4)
2252   TEST (3, 0, 2, 4)
2253   TEST (4, 0, 2, 4)
2254   TEST (5, 0, 2, 4)
2255   TEST (6, 0, 2, 4)
2256   TEST (7, 0, 2, 4)
2257   TEST (0, 1, 2, 4)
2258   TEST (1, 1, 2, 4)
2259   TEST (2, 1, 2, 4)
2260   TEST (3, 1, 2, 4)
2261   TEST (4, 1, 2, 4)
2262   TEST (5, 1, 2, 4)
2263   TEST (6, 1, 2, 4)
2264   TEST (7, 1, 2, 4)
2265   TEST (0, 2, 2, 4)
2266   TEST (1, 2, 2, 4)
2267   TEST (2, 2, 2, 4)
2268   TEST (3, 2, 2, 4)
2269   TEST (4, 2, 2, 4)
2270   TEST (5, 2, 2, 4)
2271   TEST (6, 2, 2, 4)
2272   TEST (7, 2, 2, 4)
2273   TEST (0, 3, 2, 4)
2274   TEST (1, 3, 2, 4)
2275   TEST (2, 3, 2, 4)
2276   TEST (3, 3, 2, 4)
2277   TEST (4, 3, 2, 4)
2278   TEST (5, 3, 2, 4)
2279   TEST (6, 3, 2, 4)
2280   TEST (7, 3, 2, 4)
2281   TEST (0, 4, 2, 4)
2282   TEST (1, 4, 2, 4)
2283   TEST (2, 4, 2, 4)
2284   TEST (3, 4, 2, 4)
2285   TEST (4, 4, 2, 4)
2286   TEST (5, 4, 2, 4)
2287   TEST (6, 4, 2, 4)
2288   TEST (7, 4, 2, 4)
2289   TEST (0, 5, 2, 4)
2290   TEST (1, 5, 2, 4)
2291   TEST (2, 5, 2, 4)
2292   TEST (3, 5, 2, 4)
2293   TEST (4, 5, 2, 4)
2294   TEST (5, 5, 2, 4)
2295   TEST (6, 5, 2, 4)
2296   TEST (7, 5, 2, 4)
2297   TEST (0, 6, 2, 4)
2298   TEST (1, 6, 2, 4)
2299   TEST (2, 6, 2, 4)
2300   TEST (3, 6, 2, 4)
2301   TEST (4, 6, 2, 4)
2302   TEST (5, 6, 2, 4)
2303   TEST (6, 6, 2, 4)
2304   TEST (7, 6, 2, 4)
2305   TEST (0, 7, 2, 4)
2306   TEST (1, 7, 2, 4)
2307   TEST (2, 7, 2, 4)
2308   TEST (3, 7, 2, 4)
2309   TEST (4, 7, 2, 4)
2310   TEST (5, 7, 2, 4)
2311   TEST (6, 7, 2, 4)
2312   TEST (7, 7, 2, 4)
2313   TEST (0, 0, 3, 4)
2314   TEST (1, 0, 3, 4)
2315   TEST (2, 0, 3, 4)
2316   TEST (3, 0, 3, 4)
2317   TEST (4, 0, 3, 4)
2318   TEST (5, 0, 3, 4)
2319   TEST (6, 0, 3, 4)
2320   TEST (7, 0, 3, 4)
2321   TEST (0, 1, 3, 4)
2322   TEST (1, 1, 3, 4)
2323   TEST (2, 1, 3, 4)
2324   TEST (3, 1, 3, 4)
2325   TEST (4, 1, 3, 4)
2326   TEST (5, 1, 3, 4)
2327   TEST (6, 1, 3, 4)
2328   TEST (7, 1, 3, 4)
2329   TEST (0, 2, 3, 4)
2330   TEST (1, 2, 3, 4)
2331   TEST (2, 2, 3, 4)
2332   TEST (3, 2, 3, 4)
2333   TEST (4, 2, 3, 4)
2334   TEST (5, 2, 3, 4)
2335   TEST (6, 2, 3, 4)
2336   TEST (7, 2, 3, 4)
2337   TEST (0, 3, 3, 4)
2338   TEST (1, 3, 3, 4)
2339   TEST (2, 3, 3, 4)
2340   TEST (3, 3, 3, 4)
2341   TEST (4, 3, 3, 4)
2342   TEST (5, 3, 3, 4)
2343   TEST (6, 3, 3, 4)
2344   TEST (7, 3, 3, 4)
2345   TEST (0, 4, 3, 4)
2346   TEST (1, 4, 3, 4)
2347   TEST (2, 4, 3, 4)
2348   TEST (3, 4, 3, 4)
2349   TEST (4, 4, 3, 4)
2350   TEST (5, 4, 3, 4)
2351   TEST (6, 4, 3, 4)
2352   TEST (7, 4, 3, 4)
2353   TEST (0, 5, 3, 4)
2354   TEST (1, 5, 3, 4)
2355   TEST (2, 5, 3, 4)
2356   TEST (3, 5, 3, 4)
2357   TEST (4, 5, 3, 4)
2358   TEST (5, 5, 3, 4)
2359   TEST (6, 5, 3, 4)
2360   TEST (7, 5, 3, 4)
2361   TEST (0, 6, 3, 4)
2362   TEST (1, 6, 3, 4)
2363   TEST (2, 6, 3, 4)
2364   TEST (3, 6, 3, 4)
2365   TEST (4, 6, 3, 4)
2366   TEST (5, 6, 3, 4)
2367   TEST (6, 6, 3, 4)
2368   TEST (7, 6, 3, 4)
2369   TEST (0, 7, 3, 4)
2370   TEST (1, 7, 3, 4)
2371   TEST (2, 7, 3, 4)
2372   TEST (3, 7, 3, 4)
2373   TEST (4, 7, 3, 4)
2374   TEST (5, 7, 3, 4)
2375   TEST (6, 7, 3, 4)
2376   TEST (7, 7, 3, 4)
2377 }
2378
2379 void check18(void)
2380 {
2381   TEST (0, 0, 4, 4)
2382   TEST (1, 0, 4, 4)
2383   TEST (2, 0, 4, 4)
2384   TEST (3, 0, 4, 4)
2385   TEST (4, 0, 4, 4)
2386   TEST (5, 0, 4, 4)
2387   TEST (6, 0, 4, 4)
2388   TEST (7, 0, 4, 4)
2389   TEST (0, 1, 4, 4)
2390   TEST (1, 1, 4, 4)
2391   TEST (2, 1, 4, 4)
2392   TEST (3, 1, 4, 4)
2393   TEST (4, 1, 4, 4)
2394   TEST (5, 1, 4, 4)
2395   TEST (6, 1, 4, 4)
2396   TEST (7, 1, 4, 4)
2397   TEST (0, 2, 4, 4)
2398   TEST (1, 2, 4, 4)
2399   TEST (2, 2, 4, 4)
2400   TEST (3, 2, 4, 4)
2401   TEST (4, 2, 4, 4)
2402   TEST (5, 2, 4, 4)
2403   TEST (6, 2, 4, 4)
2404   TEST (7, 2, 4, 4)
2405   TEST (0, 3, 4, 4)
2406   TEST (1, 3, 4, 4)
2407   TEST (2, 3, 4, 4)
2408   TEST (3, 3, 4, 4)
2409   TEST (4, 3, 4, 4)
2410   TEST (5, 3, 4, 4)
2411   TEST (6, 3, 4, 4)
2412   TEST (7, 3, 4, 4)
2413   TEST (0, 4, 4, 4)
2414   TEST (1, 4, 4, 4)
2415   TEST (2, 4, 4, 4)
2416   TEST (3, 4, 4, 4)
2417   TEST (4, 4, 4, 4)
2418   TEST (5, 4, 4, 4)
2419   TEST (6, 4, 4, 4)
2420   TEST (7, 4, 4, 4)
2421   TEST (0, 5, 4, 4)
2422   TEST (1, 5, 4, 4)
2423   TEST (2, 5, 4, 4)
2424   TEST (3, 5, 4, 4)
2425   TEST (4, 5, 4, 4)
2426   TEST (5, 5, 4, 4)
2427   TEST (6, 5, 4, 4)
2428   TEST (7, 5, 4, 4)
2429   TEST (0, 6, 4, 4)
2430   TEST (1, 6, 4, 4)
2431   TEST (2, 6, 4, 4)
2432   TEST (3, 6, 4, 4)
2433   TEST (4, 6, 4, 4)
2434   TEST (5, 6, 4, 4)
2435   TEST (6, 6, 4, 4)
2436   TEST (7, 6, 4, 4)
2437   TEST (0, 7, 4, 4)
2438   TEST (1, 7, 4, 4)
2439   TEST (2, 7, 4, 4)
2440   TEST (3, 7, 4, 4)
2441   TEST (4, 7, 4, 4)
2442   TEST (5, 7, 4, 4)
2443   TEST (6, 7, 4, 4)
2444   TEST (7, 7, 4, 4)
2445   TEST (0, 0, 5, 4)
2446   TEST (1, 0, 5, 4)
2447   TEST (2, 0, 5, 4)
2448   TEST (3, 0, 5, 4)
2449   TEST (4, 0, 5, 4)
2450   TEST (5, 0, 5, 4)
2451   TEST (6, 0, 5, 4)
2452   TEST (7, 0, 5, 4)
2453   TEST (0, 1, 5, 4)
2454   TEST (1, 1, 5, 4)
2455   TEST (2, 1, 5, 4)
2456   TEST (3, 1, 5, 4)
2457   TEST (4, 1, 5, 4)
2458   TEST (5, 1, 5, 4)
2459   TEST (6, 1, 5, 4)
2460   TEST (7, 1, 5, 4)
2461   TEST (0, 2, 5, 4)
2462   TEST (1, 2, 5, 4)
2463   TEST (2, 2, 5, 4)
2464   TEST (3, 2, 5, 4)
2465   TEST (4, 2, 5, 4)
2466   TEST (5, 2, 5, 4)
2467   TEST (6, 2, 5, 4)
2468   TEST (7, 2, 5, 4)
2469   TEST (0, 3, 5, 4)
2470   TEST (1, 3, 5, 4)
2471   TEST (2, 3, 5, 4)
2472   TEST (3, 3, 5, 4)
2473   TEST (4, 3, 5, 4)
2474   TEST (5, 3, 5, 4)
2475   TEST (6, 3, 5, 4)
2476   TEST (7, 3, 5, 4)
2477   TEST (0, 4, 5, 4)
2478   TEST (1, 4, 5, 4)
2479   TEST (2, 4, 5, 4)
2480   TEST (3, 4, 5, 4)
2481   TEST (4, 4, 5, 4)
2482   TEST (5, 4, 5, 4)
2483   TEST (6, 4, 5, 4)
2484   TEST (7, 4, 5, 4)
2485   TEST (0, 5, 5, 4)
2486   TEST (1, 5, 5, 4)
2487   TEST (2, 5, 5, 4)
2488   TEST (3, 5, 5, 4)
2489   TEST (4, 5, 5, 4)
2490   TEST (5, 5, 5, 4)
2491   TEST (6, 5, 5, 4)
2492   TEST (7, 5, 5, 4)
2493   TEST (0, 6, 5, 4)
2494   TEST (1, 6, 5, 4)
2495   TEST (2, 6, 5, 4)
2496   TEST (3, 6, 5, 4)
2497   TEST (4, 6, 5, 4)
2498   TEST (5, 6, 5, 4)
2499   TEST (6, 6, 5, 4)
2500   TEST (7, 6, 5, 4)
2501   TEST (0, 7, 5, 4)
2502   TEST (1, 7, 5, 4)
2503   TEST (2, 7, 5, 4)
2504   TEST (3, 7, 5, 4)
2505   TEST (4, 7, 5, 4)
2506   TEST (5, 7, 5, 4)
2507   TEST (6, 7, 5, 4)
2508   TEST (7, 7, 5, 4)
2509 }
2510
2511 void check19(void)
2512 {
2513   TEST (0, 0, 6, 4)
2514   TEST (1, 0, 6, 4)
2515   TEST (2, 0, 6, 4)
2516   TEST (3, 0, 6, 4)
2517   TEST (4, 0, 6, 4)
2518   TEST (5, 0, 6, 4)
2519   TEST (6, 0, 6, 4)
2520   TEST (7, 0, 6, 4)
2521   TEST (0, 1, 6, 4)
2522   TEST (1, 1, 6, 4)
2523   TEST (2, 1, 6, 4)
2524   TEST (3, 1, 6, 4)
2525   TEST (4, 1, 6, 4)
2526   TEST (5, 1, 6, 4)
2527   TEST (6, 1, 6, 4)
2528   TEST (7, 1, 6, 4)
2529   TEST (0, 2, 6, 4)
2530   TEST (1, 2, 6, 4)
2531   TEST (2, 2, 6, 4)
2532   TEST (3, 2, 6, 4)
2533   TEST (4, 2, 6, 4)
2534   TEST (5, 2, 6, 4)
2535   TEST (6, 2, 6, 4)
2536   TEST (7, 2, 6, 4)
2537   TEST (0, 3, 6, 4)
2538   TEST (1, 3, 6, 4)
2539   TEST (2, 3, 6, 4)
2540   TEST (3, 3, 6, 4)
2541   TEST (4, 3, 6, 4)
2542   TEST (5, 3, 6, 4)
2543   TEST (6, 3, 6, 4)
2544   TEST (7, 3, 6, 4)
2545   TEST (0, 4, 6, 4)
2546   TEST (1, 4, 6, 4)
2547   TEST (2, 4, 6, 4)
2548   TEST (3, 4, 6, 4)
2549   TEST (4, 4, 6, 4)
2550   TEST (5, 4, 6, 4)
2551   TEST (6, 4, 6, 4)
2552   TEST (7, 4, 6, 4)
2553   TEST (0, 5, 6, 4)
2554   TEST (1, 5, 6, 4)
2555   TEST (2, 5, 6, 4)
2556   TEST (3, 5, 6, 4)
2557   TEST (4, 5, 6, 4)
2558   TEST (5, 5, 6, 4)
2559   TEST (6, 5, 6, 4)
2560   TEST (7, 5, 6, 4)
2561   TEST (0, 6, 6, 4)
2562   TEST (1, 6, 6, 4)
2563   TEST (2, 6, 6, 4)
2564   TEST (3, 6, 6, 4)
2565   TEST (4, 6, 6, 4)
2566   TEST (5, 6, 6, 4)
2567   TEST (6, 6, 6, 4)
2568   TEST (7, 6, 6, 4)
2569   TEST (0, 7, 6, 4)
2570   TEST (1, 7, 6, 4)
2571   TEST (2, 7, 6, 4)
2572   TEST (3, 7, 6, 4)
2573   TEST (4, 7, 6, 4)
2574   TEST (5, 7, 6, 4)
2575   TEST (6, 7, 6, 4)
2576   TEST (7, 7, 6, 4)
2577   TEST (0, 0, 7, 4)
2578   TEST (1, 0, 7, 4)
2579   TEST (2, 0, 7, 4)
2580   TEST (3, 0, 7, 4)
2581   TEST (4, 0, 7, 4)
2582   TEST (5, 0, 7, 4)
2583   TEST (6, 0, 7, 4)
2584   TEST (7, 0, 7, 4)
2585   TEST (0, 1, 7, 4)
2586   TEST (1, 1, 7, 4)
2587   TEST (2, 1, 7, 4)
2588   TEST (3, 1, 7, 4)
2589   TEST (4, 1, 7, 4)
2590   TEST (5, 1, 7, 4)
2591   TEST (6, 1, 7, 4)
2592   TEST (7, 1, 7, 4)
2593   TEST (0, 2, 7, 4)
2594   TEST (1, 2, 7, 4)
2595   TEST (2, 2, 7, 4)
2596   TEST (3, 2, 7, 4)
2597   TEST (4, 2, 7, 4)
2598   TEST (5, 2, 7, 4)
2599   TEST (6, 2, 7, 4)
2600   TEST (7, 2, 7, 4)
2601   TEST (0, 3, 7, 4)
2602   TEST (1, 3, 7, 4)
2603   TEST (2, 3, 7, 4)
2604   TEST (3, 3, 7, 4)
2605   TEST (4, 3, 7, 4)
2606   TEST (5, 3, 7, 4)
2607   TEST (6, 3, 7, 4)
2608   TEST (7, 3, 7, 4)
2609   TEST (0, 4, 7, 4)
2610   TEST (1, 4, 7, 4)
2611   TEST (2, 4, 7, 4)
2612   TEST (3, 4, 7, 4)
2613   TEST (4, 4, 7, 4)
2614   TEST (5, 4, 7, 4)
2615   TEST (6, 4, 7, 4)
2616   TEST (7, 4, 7, 4)
2617   TEST (0, 5, 7, 4)
2618   TEST (1, 5, 7, 4)
2619   TEST (2, 5, 7, 4)
2620   TEST (3, 5, 7, 4)
2621   TEST (4, 5, 7, 4)
2622   TEST (5, 5, 7, 4)
2623   TEST (6, 5, 7, 4)
2624   TEST (7, 5, 7, 4)
2625   TEST (0, 6, 7, 4)
2626   TEST (1, 6, 7, 4)
2627   TEST (2, 6, 7, 4)
2628   TEST (3, 6, 7, 4)
2629   TEST (4, 6, 7, 4)
2630   TEST (5, 6, 7, 4)
2631   TEST (6, 6, 7, 4)
2632   TEST (7, 6, 7, 4)
2633   TEST (0, 7, 7, 4)
2634   TEST (1, 7, 7, 4)
2635   TEST (2, 7, 7, 4)
2636   TEST (3, 7, 7, 4)
2637   TEST (4, 7, 7, 4)
2638   TEST (5, 7, 7, 4)
2639   TEST (6, 7, 7, 4)
2640   TEST (7, 7, 7, 4)
2641 }
2642
2643 void check20(void)
2644 {
2645   TEST (0, 0, 0, 5)
2646   TEST (1, 0, 0, 5)
2647   TEST (2, 0, 0, 5)
2648   TEST (3, 0, 0, 5)
2649   TEST (4, 0, 0, 5)
2650   TEST (5, 0, 0, 5)
2651   TEST (6, 0, 0, 5)
2652   TEST (7, 0, 0, 5)
2653   TEST (0, 1, 0, 5)
2654   TEST (1, 1, 0, 5)
2655   TEST (2, 1, 0, 5)
2656   TEST (3, 1, 0, 5)
2657   TEST (4, 1, 0, 5)
2658   TEST (5, 1, 0, 5)
2659   TEST (6, 1, 0, 5)
2660   TEST (7, 1, 0, 5)
2661   TEST (0, 2, 0, 5)
2662   TEST (1, 2, 0, 5)
2663   TEST (2, 2, 0, 5)
2664   TEST (3, 2, 0, 5)
2665   TEST (4, 2, 0, 5)
2666   TEST (5, 2, 0, 5)
2667   TEST (6, 2, 0, 5)
2668   TEST (7, 2, 0, 5)
2669   TEST (0, 3, 0, 5)
2670   TEST (1, 3, 0, 5)
2671   TEST (2, 3, 0, 5)
2672   TEST (3, 3, 0, 5)
2673   TEST (4, 3, 0, 5)
2674   TEST (5, 3, 0, 5)
2675   TEST (6, 3, 0, 5)
2676   TEST (7, 3, 0, 5)
2677   TEST (0, 4, 0, 5)
2678   TEST (1, 4, 0, 5)
2679   TEST (2, 4, 0, 5)
2680   TEST (3, 4, 0, 5)
2681   TEST (4, 4, 0, 5)
2682   TEST (5, 4, 0, 5)
2683   TEST (6, 4, 0, 5)
2684   TEST (7, 4, 0, 5)
2685   TEST (0, 5, 0, 5)
2686   TEST (1, 5, 0, 5)
2687   TEST (2, 5, 0, 5)
2688   TEST (3, 5, 0, 5)
2689   TEST (4, 5, 0, 5)
2690   TEST (5, 5, 0, 5)
2691   TEST (6, 5, 0, 5)
2692   TEST (7, 5, 0, 5)
2693   TEST (0, 6, 0, 5)
2694   TEST (1, 6, 0, 5)
2695   TEST (2, 6, 0, 5)
2696   TEST (3, 6, 0, 5)
2697   TEST (4, 6, 0, 5)
2698   TEST (5, 6, 0, 5)
2699   TEST (6, 6, 0, 5)
2700   TEST (7, 6, 0, 5)
2701   TEST (0, 7, 0, 5)
2702   TEST (1, 7, 0, 5)
2703   TEST (2, 7, 0, 5)
2704   TEST (3, 7, 0, 5)
2705   TEST (4, 7, 0, 5)
2706   TEST (5, 7, 0, 5)
2707   TEST (6, 7, 0, 5)
2708   TEST (7, 7, 0, 5)
2709   TEST (0, 0, 1, 5)
2710   TEST (1, 0, 1, 5)
2711   TEST (2, 0, 1, 5)
2712   TEST (3, 0, 1, 5)
2713   TEST (4, 0, 1, 5)
2714   TEST (5, 0, 1, 5)
2715   TEST (6, 0, 1, 5)
2716   TEST (7, 0, 1, 5)
2717   TEST (0, 1, 1, 5)
2718   TEST (1, 1, 1, 5)
2719   TEST (2, 1, 1, 5)
2720   TEST (3, 1, 1, 5)
2721   TEST (4, 1, 1, 5)
2722   TEST (5, 1, 1, 5)
2723   TEST (6, 1, 1, 5)
2724   TEST (7, 1, 1, 5)
2725   TEST (0, 2, 1, 5)
2726   TEST (1, 2, 1, 5)
2727   TEST (2, 2, 1, 5)
2728   TEST (3, 2, 1, 5)
2729   TEST (4, 2, 1, 5)
2730   TEST (5, 2, 1, 5)
2731   TEST (6, 2, 1, 5)
2732   TEST (7, 2, 1, 5)
2733   TEST (0, 3, 1, 5)
2734   TEST (1, 3, 1, 5)
2735   TEST (2, 3, 1, 5)
2736   TEST (3, 3, 1, 5)
2737   TEST (4, 3, 1, 5)
2738   TEST (5, 3, 1, 5)
2739   TEST (6, 3, 1, 5)
2740   TEST (7, 3, 1, 5)
2741   TEST (0, 4, 1, 5)
2742   TEST (1, 4, 1, 5)
2743   TEST (2, 4, 1, 5)
2744   TEST (3, 4, 1, 5)
2745   TEST (4, 4, 1, 5)
2746   TEST (5, 4, 1, 5)
2747   TEST (6, 4, 1, 5)
2748   TEST (7, 4, 1, 5)
2749   TEST (0, 5, 1, 5)
2750   TEST (1, 5, 1, 5)
2751   TEST (2, 5, 1, 5)
2752   TEST (3, 5, 1, 5)
2753   TEST (4, 5, 1, 5)
2754   TEST (5, 5, 1, 5)
2755   TEST (6, 5, 1, 5)
2756   TEST (7, 5, 1, 5)
2757   TEST (0, 6, 1, 5)
2758   TEST (1, 6, 1, 5)
2759   TEST (2, 6, 1, 5)
2760   TEST (3, 6, 1, 5)
2761   TEST (4, 6, 1, 5)
2762   TEST (5, 6, 1, 5)
2763   TEST (6, 6, 1, 5)
2764   TEST (7, 6, 1, 5)
2765   TEST (0, 7, 1, 5)
2766   TEST (1, 7, 1, 5)
2767   TEST (2, 7, 1, 5)
2768   TEST (3, 7, 1, 5)
2769   TEST (4, 7, 1, 5)
2770   TEST (5, 7, 1, 5)
2771   TEST (6, 7, 1, 5)
2772   TEST (7, 7, 1, 5)
2773 }
2774
2775 void check21(void)
2776 {
2777   TEST (0, 0, 2, 5)
2778   TEST (1, 0, 2, 5)
2779   TEST (2, 0, 2, 5)
2780   TEST (3, 0, 2, 5)
2781   TEST (4, 0, 2, 5)
2782   TEST (5, 0, 2, 5)
2783   TEST (6, 0, 2, 5)
2784   TEST (7, 0, 2, 5)
2785   TEST (0, 1, 2, 5)
2786   TEST (1, 1, 2, 5)
2787   TEST (2, 1, 2, 5)
2788   TEST (3, 1, 2, 5)
2789   TEST (4, 1, 2, 5)
2790   TEST (5, 1, 2, 5)
2791   TEST (6, 1, 2, 5)
2792   TEST (7, 1, 2, 5)
2793   TEST (0, 2, 2, 5)
2794   TEST (1, 2, 2, 5)
2795   TEST (2, 2, 2, 5)
2796   TEST (3, 2, 2, 5)
2797   TEST (4, 2, 2, 5)
2798   TEST (5, 2, 2, 5)
2799   TEST (6, 2, 2, 5)
2800   TEST (7, 2, 2, 5)
2801   TEST (0, 3, 2, 5)
2802   TEST (1, 3, 2, 5)
2803   TEST (2, 3, 2, 5)
2804   TEST (3, 3, 2, 5)
2805   TEST (4, 3, 2, 5)
2806   TEST (5, 3, 2, 5)
2807   TEST (6, 3, 2, 5)
2808   TEST (7, 3, 2, 5)
2809   TEST (0, 4, 2, 5)
2810   TEST (1, 4, 2, 5)
2811   TEST (2, 4, 2, 5)
2812   TEST (3, 4, 2, 5)
2813   TEST (4, 4, 2, 5)
2814   TEST (5, 4, 2, 5)
2815   TEST (6, 4, 2, 5)
2816   TEST (7, 4, 2, 5)
2817   TEST (0, 5, 2, 5)
2818   TEST (1, 5, 2, 5)
2819   TEST (2, 5, 2, 5)
2820   TEST (3, 5, 2, 5)
2821   TEST (4, 5, 2, 5)
2822   TEST (5, 5, 2, 5)
2823   TEST (6, 5, 2, 5)
2824   TEST (7, 5, 2, 5)
2825   TEST (0, 6, 2, 5)
2826   TEST (1, 6, 2, 5)
2827   TEST (2, 6, 2, 5)
2828   TEST (3, 6, 2, 5)
2829   TEST (4, 6, 2, 5)
2830   TEST (5, 6, 2, 5)
2831   TEST (6, 6, 2, 5)
2832   TEST (7, 6, 2, 5)
2833   TEST (0, 7, 2, 5)
2834   TEST (1, 7, 2, 5)
2835   TEST (2, 7, 2, 5)
2836   TEST (3, 7, 2, 5)
2837   TEST (4, 7, 2, 5)
2838   TEST (5, 7, 2, 5)
2839   TEST (6, 7, 2, 5)
2840   TEST (7, 7, 2, 5)
2841   TEST (0, 0, 3, 5)
2842   TEST (1, 0, 3, 5)
2843   TEST (2, 0, 3, 5)
2844   TEST (3, 0, 3, 5)
2845   TEST (4, 0, 3, 5)
2846   TEST (5, 0, 3, 5)
2847   TEST (6, 0, 3, 5)
2848   TEST (7, 0, 3, 5)
2849   TEST (0, 1, 3, 5)
2850   TEST (1, 1, 3, 5)
2851   TEST (2, 1, 3, 5)
2852   TEST (3, 1, 3, 5)
2853   TEST (4, 1, 3, 5)
2854   TEST (5, 1, 3, 5)
2855   TEST (6, 1, 3, 5)
2856   TEST (7, 1, 3, 5)
2857   TEST (0, 2, 3, 5)
2858   TEST (1, 2, 3, 5)
2859   TEST (2, 2, 3, 5)
2860   TEST (3, 2, 3, 5)
2861   TEST (4, 2, 3, 5)
2862   TEST (5, 2, 3, 5)
2863   TEST (6, 2, 3, 5)
2864   TEST (7, 2, 3, 5)
2865   TEST (0, 3, 3, 5)
2866   TEST (1, 3, 3, 5)
2867   TEST (2, 3, 3, 5)
2868   TEST (3, 3, 3, 5)
2869   TEST (4, 3, 3, 5)
2870   TEST (5, 3, 3, 5)
2871   TEST (6, 3, 3, 5)
2872   TEST (7, 3, 3, 5)
2873   TEST (0, 4, 3, 5)
2874   TEST (1, 4, 3, 5)
2875   TEST (2, 4, 3, 5)
2876   TEST (3, 4, 3, 5)
2877   TEST (4, 4, 3, 5)
2878   TEST (5, 4, 3, 5)
2879   TEST (6, 4, 3, 5)
2880   TEST (7, 4, 3, 5)
2881   TEST (0, 5, 3, 5)
2882   TEST (1, 5, 3, 5)
2883   TEST (2, 5, 3, 5)
2884   TEST (3, 5, 3, 5)
2885   TEST (4, 5, 3, 5)
2886   TEST (5, 5, 3, 5)
2887   TEST (6, 5, 3, 5)
2888   TEST (7, 5, 3, 5)
2889   TEST (0, 6, 3, 5)
2890   TEST (1, 6, 3, 5)
2891   TEST (2, 6, 3, 5)
2892   TEST (3, 6, 3, 5)
2893   TEST (4, 6, 3, 5)
2894   TEST (5, 6, 3, 5)
2895   TEST (6, 6, 3, 5)
2896   TEST (7, 6, 3, 5)
2897   TEST (0, 7, 3, 5)
2898   TEST (1, 7, 3, 5)
2899   TEST (2, 7, 3, 5)
2900   TEST (3, 7, 3, 5)
2901   TEST (4, 7, 3, 5)
2902   TEST (5, 7, 3, 5)
2903   TEST (6, 7, 3, 5)
2904   TEST (7, 7, 3, 5)
2905 }
2906
2907 void check22(void)
2908 {
2909   TEST (0, 0, 4, 5)
2910   TEST (1, 0, 4, 5)
2911   TEST (2, 0, 4, 5)
2912   TEST (3, 0, 4, 5)
2913   TEST (4, 0, 4, 5)
2914   TEST (5, 0, 4, 5)
2915   TEST (6, 0, 4, 5)
2916   TEST (7, 0, 4, 5)
2917   TEST (0, 1, 4, 5)
2918   TEST (1, 1, 4, 5)
2919   TEST (2, 1, 4, 5)
2920   TEST (3, 1, 4, 5)
2921   TEST (4, 1, 4, 5)
2922   TEST (5, 1, 4, 5)
2923   TEST (6, 1, 4, 5)
2924   TEST (7, 1, 4, 5)
2925   TEST (0, 2, 4, 5)
2926   TEST (1, 2, 4, 5)
2927   TEST (2, 2, 4, 5)
2928   TEST (3, 2, 4, 5)
2929   TEST (4, 2, 4, 5)
2930   TEST (5, 2, 4, 5)
2931   TEST (6, 2, 4, 5)
2932   TEST (7, 2, 4, 5)
2933   TEST (0, 3, 4, 5)
2934   TEST (1, 3, 4, 5)
2935   TEST (2, 3, 4, 5)
2936   TEST (3, 3, 4, 5)
2937   TEST (4, 3, 4, 5)
2938   TEST (5, 3, 4, 5)
2939   TEST (6, 3, 4, 5)
2940   TEST (7, 3, 4, 5)
2941   TEST (0, 4, 4, 5)
2942   TEST (1, 4, 4, 5)
2943   TEST (2, 4, 4, 5)
2944   TEST (3, 4, 4, 5)
2945   TEST (4, 4, 4, 5)
2946   TEST (5, 4, 4, 5)
2947   TEST (6, 4, 4, 5)
2948   TEST (7, 4, 4, 5)
2949   TEST (0, 5, 4, 5)
2950   TEST (1, 5, 4, 5)
2951   TEST (2, 5, 4, 5)
2952   TEST (3, 5, 4, 5)
2953   TEST (4, 5, 4, 5)
2954   TEST (5, 5, 4, 5)
2955   TEST (6, 5, 4, 5)
2956   TEST (7, 5, 4, 5)
2957   TEST (0, 6, 4, 5)
2958   TEST (1, 6, 4, 5)
2959   TEST (2, 6, 4, 5)
2960   TEST (3, 6, 4, 5)
2961   TEST (4, 6, 4, 5)
2962   TEST (5, 6, 4, 5)
2963   TEST (6, 6, 4, 5)
2964   TEST (7, 6, 4, 5)
2965   TEST (0, 7, 4, 5)
2966   TEST (1, 7, 4, 5)
2967   TEST (2, 7, 4, 5)
2968   TEST (3, 7, 4, 5)
2969   TEST (4, 7, 4, 5)
2970   TEST (5, 7, 4, 5)
2971   TEST (6, 7, 4, 5)
2972   TEST (7, 7, 4, 5)
2973   TEST (0, 0, 5, 5)
2974   TEST (1, 0, 5, 5)
2975   TEST (2, 0, 5, 5)
2976   TEST (3, 0, 5, 5)
2977   TEST (4, 0, 5, 5)
2978   TEST (5, 0, 5, 5)
2979   TEST (6, 0, 5, 5)
2980   TEST (7, 0, 5, 5)
2981   TEST (0, 1, 5, 5)
2982   TEST (1, 1, 5, 5)
2983   TEST (2, 1, 5, 5)
2984   TEST (3, 1, 5, 5)
2985   TEST (4, 1, 5, 5)
2986   TEST (5, 1, 5, 5)
2987   TEST (6, 1, 5, 5)
2988   TEST (7, 1, 5, 5)
2989   TEST (0, 2, 5, 5)
2990   TEST (1, 2, 5, 5)
2991   TEST (2, 2, 5, 5)
2992   TEST (3, 2, 5, 5)
2993   TEST (4, 2, 5, 5)
2994   TEST (5, 2, 5, 5)
2995   TEST (6, 2, 5, 5)
2996   TEST (7, 2, 5, 5)
2997   TEST (0, 3, 5, 5)
2998   TEST (1, 3, 5, 5)
2999   TEST (2, 3, 5, 5)
3000   TEST (3, 3, 5, 5)
3001   TEST (4, 3, 5, 5)
3002   TEST (5, 3, 5, 5)
3003   TEST (6, 3, 5, 5)
3004   TEST (7, 3, 5, 5)
3005   TEST (0, 4, 5, 5)
3006   TEST (1, 4, 5, 5)
3007   TEST (2, 4, 5, 5)
3008   TEST (3, 4, 5, 5)
3009   TEST (4, 4, 5, 5)
3010   TEST (5, 4, 5, 5)
3011   TEST (6, 4, 5, 5)
3012   TEST (7, 4, 5, 5)
3013   TEST (0, 5, 5, 5)
3014   TEST (1, 5, 5, 5)
3015   TEST (2, 5, 5, 5)
3016   TEST (3, 5, 5, 5)
3017   TEST (4, 5, 5, 5)
3018   TEST (5, 5, 5, 5)
3019   TEST (6, 5, 5, 5)
3020   TEST (7, 5, 5, 5)
3021   TEST (0, 6, 5, 5)
3022   TEST (1, 6, 5, 5)
3023   TEST (2, 6, 5, 5)
3024   TEST (3, 6, 5, 5)
3025   TEST (4, 6, 5, 5)
3026   TEST (5, 6, 5, 5)
3027   TEST (6, 6, 5, 5)
3028   TEST (7, 6, 5, 5)
3029   TEST (0, 7, 5, 5)
3030   TEST (1, 7, 5, 5)
3031   TEST (2, 7, 5, 5)
3032   TEST (3, 7, 5, 5)
3033   TEST (4, 7, 5, 5)
3034   TEST (5, 7, 5, 5)
3035   TEST (6, 7, 5, 5)
3036   TEST (7, 7, 5, 5)
3037 }
3038
3039 void check23(void)
3040 {
3041   TEST (0, 0, 6, 5)
3042   TEST (1, 0, 6, 5)
3043   TEST (2, 0, 6, 5)
3044   TEST (3, 0, 6, 5)
3045   TEST (4, 0, 6, 5)
3046   TEST (5, 0, 6, 5)
3047   TEST (6, 0, 6, 5)
3048   TEST (7, 0, 6, 5)
3049   TEST (0, 1, 6, 5)
3050   TEST (1, 1, 6, 5)
3051   TEST (2, 1, 6, 5)
3052   TEST (3, 1, 6, 5)
3053   TEST (4, 1, 6, 5)
3054   TEST (5, 1, 6, 5)
3055   TEST (6, 1, 6, 5)
3056   TEST (7, 1, 6, 5)
3057   TEST (0, 2, 6, 5)
3058   TEST (1, 2, 6, 5)
3059   TEST (2, 2, 6, 5)
3060   TEST (3, 2, 6, 5)
3061   TEST (4, 2, 6, 5)
3062   TEST (5, 2, 6, 5)
3063   TEST (6, 2, 6, 5)
3064   TEST (7, 2, 6, 5)
3065   TEST (0, 3, 6, 5)
3066   TEST (1, 3, 6, 5)
3067   TEST (2, 3, 6, 5)
3068   TEST (3, 3, 6, 5)
3069   TEST (4, 3, 6, 5)
3070   TEST (5, 3, 6, 5)
3071   TEST (6, 3, 6, 5)
3072   TEST (7, 3, 6, 5)
3073   TEST (0, 4, 6, 5)
3074   TEST (1, 4, 6, 5)
3075   TEST (2, 4, 6, 5)
3076   TEST (3, 4, 6, 5)
3077   TEST (4, 4, 6, 5)
3078   TEST (5, 4, 6, 5)
3079   TEST (6, 4, 6, 5)
3080   TEST (7, 4, 6, 5)
3081   TEST (0, 5, 6, 5)
3082   TEST (1, 5, 6, 5)
3083   TEST (2, 5, 6, 5)
3084   TEST (3, 5, 6, 5)
3085   TEST (4, 5, 6, 5)
3086   TEST (5, 5, 6, 5)
3087   TEST (6, 5, 6, 5)
3088   TEST (7, 5, 6, 5)
3089   TEST (0, 6, 6, 5)
3090   TEST (1, 6, 6, 5)
3091   TEST (2, 6, 6, 5)
3092   TEST (3, 6, 6, 5)
3093   TEST (4, 6, 6, 5)
3094   TEST (5, 6, 6, 5)
3095   TEST (6, 6, 6, 5)
3096   TEST (7, 6, 6, 5)
3097   TEST (0, 7, 6, 5)
3098   TEST (1, 7, 6, 5)
3099   TEST (2, 7, 6, 5)
3100   TEST (3, 7, 6, 5)
3101   TEST (4, 7, 6, 5)
3102   TEST (5, 7, 6, 5)
3103   TEST (6, 7, 6, 5)
3104   TEST (7, 7, 6, 5)
3105   TEST (0, 0, 7, 5)
3106   TEST (1, 0, 7, 5)
3107   TEST (2, 0, 7, 5)
3108   TEST (3, 0, 7, 5)
3109   TEST (4, 0, 7, 5)
3110   TEST (5, 0, 7, 5)
3111   TEST (6, 0, 7, 5)
3112   TEST (7, 0, 7, 5)
3113   TEST (0, 1, 7, 5)
3114   TEST (1, 1, 7, 5)
3115   TEST (2, 1, 7, 5)
3116   TEST (3, 1, 7, 5)
3117   TEST (4, 1, 7, 5)
3118   TEST (5, 1, 7, 5)
3119   TEST (6, 1, 7, 5)
3120   TEST (7, 1, 7, 5)
3121   TEST (0, 2, 7, 5)
3122   TEST (1, 2, 7, 5)
3123   TEST (2, 2, 7, 5)
3124   TEST (3, 2, 7, 5)
3125   TEST (4, 2, 7, 5)
3126   TEST (5, 2, 7, 5)
3127   TEST (6, 2, 7, 5)
3128   TEST (7, 2, 7, 5)
3129   TEST (0, 3, 7, 5)
3130   TEST (1, 3, 7, 5)
3131   TEST (2, 3, 7, 5)
3132   TEST (3, 3, 7, 5)
3133   TEST (4, 3, 7, 5)
3134   TEST (5, 3, 7, 5)
3135   TEST (6, 3, 7, 5)
3136   TEST (7, 3, 7, 5)
3137   TEST (0, 4, 7, 5)
3138   TEST (1, 4, 7, 5)
3139   TEST (2, 4, 7, 5)
3140   TEST (3, 4, 7, 5)
3141   TEST (4, 4, 7, 5)
3142   TEST (5, 4, 7, 5)
3143   TEST (6, 4, 7, 5)
3144   TEST (7, 4, 7, 5)
3145   TEST (0, 5, 7, 5)
3146   TEST (1, 5, 7, 5)
3147   TEST (2, 5, 7, 5)
3148   TEST (3, 5, 7, 5)
3149   TEST (4, 5, 7, 5)
3150   TEST (5, 5, 7, 5)
3151   TEST (6, 5, 7, 5)
3152   TEST (7, 5, 7, 5)
3153   TEST (0, 6, 7, 5)
3154   TEST (1, 6, 7, 5)
3155   TEST (2, 6, 7, 5)
3156   TEST (3, 6, 7, 5)
3157   TEST (4, 6, 7, 5)
3158   TEST (5, 6, 7, 5)
3159   TEST (6, 6, 7, 5)
3160   TEST (7, 6, 7, 5)
3161   TEST (0, 7, 7, 5)
3162   TEST (1, 7, 7, 5)
3163   TEST (2, 7, 7, 5)
3164   TEST (3, 7, 7, 5)
3165   TEST (4, 7, 7, 5)
3166   TEST (5, 7, 7, 5)
3167   TEST (6, 7, 7, 5)
3168   TEST (7, 7, 7, 5)
3169 }
3170
3171 void check24(void)
3172 {
3173   TEST (0, 0, 0, 6)
3174   TEST (1, 0, 0, 6)
3175   TEST (2, 0, 0, 6)
3176   TEST (3, 0, 0, 6)
3177   TEST (4, 0, 0, 6)
3178   TEST (5, 0, 0, 6)
3179   TEST (6, 0, 0, 6)
3180   TEST (7, 0, 0, 6)
3181   TEST (0, 1, 0, 6)
3182   TEST (1, 1, 0, 6)
3183   TEST (2, 1, 0, 6)
3184   TEST (3, 1, 0, 6)
3185   TEST (4, 1, 0, 6)
3186   TEST (5, 1, 0, 6)
3187   TEST (6, 1, 0, 6)
3188   TEST (7, 1, 0, 6)
3189   TEST (0, 2, 0, 6)
3190   TEST (1, 2, 0, 6)
3191   TEST (2, 2, 0, 6)
3192   TEST (3, 2, 0, 6)
3193   TEST (4, 2, 0, 6)
3194   TEST (5, 2, 0, 6)
3195   TEST (6, 2, 0, 6)
3196   TEST (7, 2, 0, 6)
3197   TEST (0, 3, 0, 6)
3198   TEST (1, 3, 0, 6)
3199   TEST (2, 3, 0, 6)
3200   TEST (3, 3, 0, 6)
3201   TEST (4, 3, 0, 6)
3202   TEST (5, 3, 0, 6)
3203   TEST (6, 3, 0, 6)
3204   TEST (7, 3, 0, 6)
3205   TEST (0, 4, 0, 6)
3206   TEST (1, 4, 0, 6)
3207   TEST (2, 4, 0, 6)
3208   TEST (3, 4, 0, 6)
3209   TEST (4, 4, 0, 6)
3210   TEST (5, 4, 0, 6)
3211   TEST (6, 4, 0, 6)
3212   TEST (7, 4, 0, 6)
3213   TEST (0, 5, 0, 6)
3214   TEST (1, 5, 0, 6)
3215   TEST (2, 5, 0, 6)
3216   TEST (3, 5, 0, 6)
3217   TEST (4, 5, 0, 6)
3218   TEST (5, 5, 0, 6)
3219   TEST (6, 5, 0, 6)
3220   TEST (7, 5, 0, 6)
3221   TEST (0, 6, 0, 6)
3222   TEST (1, 6, 0, 6)
3223   TEST (2, 6, 0, 6)
3224   TEST (3, 6, 0, 6)
3225   TEST (4, 6, 0, 6)
3226   TEST (5, 6, 0, 6)
3227   TEST (6, 6, 0, 6)
3228   TEST (7, 6, 0, 6)
3229   TEST (0, 7, 0, 6)
3230   TEST (1, 7, 0, 6)
3231   TEST (2, 7, 0, 6)
3232   TEST (3, 7, 0, 6)
3233   TEST (4, 7, 0, 6)
3234   TEST (5, 7, 0, 6)
3235   TEST (6, 7, 0, 6)
3236   TEST (7, 7, 0, 6)
3237   TEST (0, 0, 1, 6)
3238   TEST (1, 0, 1, 6)
3239   TEST (2, 0, 1, 6)
3240   TEST (3, 0, 1, 6)
3241   TEST (4, 0, 1, 6)
3242   TEST (5, 0, 1, 6)
3243   TEST (6, 0, 1, 6)
3244   TEST (7, 0, 1, 6)
3245   TEST (0, 1, 1, 6)
3246   TEST (1, 1, 1, 6)
3247   TEST (2, 1, 1, 6)
3248   TEST (3, 1, 1, 6)
3249   TEST (4, 1, 1, 6)
3250   TEST (5, 1, 1, 6)
3251   TEST (6, 1, 1, 6)
3252   TEST (7, 1, 1, 6)
3253   TEST (0, 2, 1, 6)
3254   TEST (1, 2, 1, 6)
3255   TEST (2, 2, 1, 6)
3256   TEST (3, 2, 1, 6)
3257   TEST (4, 2, 1, 6)
3258   TEST (5, 2, 1, 6)
3259   TEST (6, 2, 1, 6)
3260   TEST (7, 2, 1, 6)
3261   TEST (0, 3, 1, 6)
3262   TEST (1, 3, 1, 6)
3263   TEST (2, 3, 1, 6)
3264   TEST (3, 3, 1, 6)
3265   TEST (4, 3, 1, 6)
3266   TEST (5, 3, 1, 6)
3267   TEST (6, 3, 1, 6)
3268   TEST (7, 3, 1, 6)
3269   TEST (0, 4, 1, 6)
3270   TEST (1, 4, 1, 6)
3271   TEST (2, 4, 1, 6)
3272   TEST (3, 4, 1, 6)
3273   TEST (4, 4, 1, 6)
3274   TEST (5, 4, 1, 6)
3275   TEST (6, 4, 1, 6)
3276   TEST (7, 4, 1, 6)
3277   TEST (0, 5, 1, 6)
3278   TEST (1, 5, 1, 6)
3279   TEST (2, 5, 1, 6)
3280   TEST (3, 5, 1, 6)
3281   TEST (4, 5, 1, 6)
3282   TEST (5, 5, 1, 6)
3283   TEST (6, 5, 1, 6)
3284   TEST (7, 5, 1, 6)
3285   TEST (0, 6, 1, 6)
3286   TEST (1, 6, 1, 6)
3287   TEST (2, 6, 1, 6)
3288   TEST (3, 6, 1, 6)
3289   TEST (4, 6, 1, 6)
3290   TEST (5, 6, 1, 6)
3291   TEST (6, 6, 1, 6)
3292   TEST (7, 6, 1, 6)
3293   TEST (0, 7, 1, 6)
3294   TEST (1, 7, 1, 6)
3295   TEST (2, 7, 1, 6)
3296   TEST (3, 7, 1, 6)
3297   TEST (4, 7, 1, 6)
3298   TEST (5, 7, 1, 6)
3299   TEST (6, 7, 1, 6)
3300   TEST (7, 7, 1, 6)
3301 }
3302
3303 void check25(void)
3304 {
3305   TEST (0, 0, 2, 6)
3306   TEST (1, 0, 2, 6)
3307   TEST (2, 0, 2, 6)
3308   TEST (3, 0, 2, 6)
3309   TEST (4, 0, 2, 6)
3310   TEST (5, 0, 2, 6)
3311   TEST (6, 0, 2, 6)
3312   TEST (7, 0, 2, 6)
3313   TEST (0, 1, 2, 6)
3314   TEST (1, 1, 2, 6)
3315   TEST (2, 1, 2, 6)
3316   TEST (3, 1, 2, 6)
3317   TEST (4, 1, 2, 6)
3318   TEST (5, 1, 2, 6)
3319   TEST (6, 1, 2, 6)
3320   TEST (7, 1, 2, 6)
3321   TEST (0, 2, 2, 6)
3322   TEST (1, 2, 2, 6)
3323   TEST (2, 2, 2, 6)
3324   TEST (3, 2, 2, 6)
3325   TEST (4, 2, 2, 6)
3326   TEST (5, 2, 2, 6)
3327   TEST (6, 2, 2, 6)
3328   TEST (7, 2, 2, 6)
3329   TEST (0, 3, 2, 6)
3330   TEST (1, 3, 2, 6)
3331   TEST (2, 3, 2, 6)
3332   TEST (3, 3, 2, 6)
3333   TEST (4, 3, 2, 6)
3334   TEST (5, 3, 2, 6)
3335   TEST (6, 3, 2, 6)
3336   TEST (7, 3, 2, 6)
3337   TEST (0, 4, 2, 6)
3338   TEST (1, 4, 2, 6)
3339   TEST (2, 4, 2, 6)
3340   TEST (3, 4, 2, 6)
3341   TEST (4, 4, 2, 6)
3342   TEST (5, 4, 2, 6)
3343   TEST (6, 4, 2, 6)
3344   TEST (7, 4, 2, 6)
3345   TEST (0, 5, 2, 6)
3346   TEST (1, 5, 2, 6)
3347   TEST (2, 5, 2, 6)
3348   TEST (3, 5, 2, 6)
3349   TEST (4, 5, 2, 6)
3350   TEST (5, 5, 2, 6)
3351   TEST (6, 5, 2, 6)
3352   TEST (7, 5, 2, 6)
3353   TEST (0, 6, 2, 6)
3354   TEST (1, 6, 2, 6)
3355   TEST (2, 6, 2, 6)
3356   TEST (3, 6, 2, 6)
3357   TEST (4, 6, 2, 6)
3358   TEST (5, 6, 2, 6)
3359   TEST (6, 6, 2, 6)
3360   TEST (7, 6, 2, 6)
3361   TEST (0, 7, 2, 6)
3362   TEST (1, 7, 2, 6)
3363   TEST (2, 7, 2, 6)
3364   TEST (3, 7, 2, 6)
3365   TEST (4, 7, 2, 6)
3366   TEST (5, 7, 2, 6)
3367   TEST (6, 7, 2, 6)
3368   TEST (7, 7, 2, 6)
3369   TEST (0, 0, 3, 6)
3370   TEST (1, 0, 3, 6)
3371   TEST (2, 0, 3, 6)
3372   TEST (3, 0, 3, 6)
3373   TEST (4, 0, 3, 6)
3374   TEST (5, 0, 3, 6)
3375   TEST (6, 0, 3, 6)
3376   TEST (7, 0, 3, 6)
3377   TEST (0, 1, 3, 6)
3378   TEST (1, 1, 3, 6)
3379   TEST (2, 1, 3, 6)
3380   TEST (3, 1, 3, 6)
3381   TEST (4, 1, 3, 6)
3382   TEST (5, 1, 3, 6)
3383   TEST (6, 1, 3, 6)
3384   TEST (7, 1, 3, 6)
3385   TEST (0, 2, 3, 6)
3386   TEST (1, 2, 3, 6)
3387   TEST (2, 2, 3, 6)
3388   TEST (3, 2, 3, 6)
3389   TEST (4, 2, 3, 6)
3390   TEST (5, 2, 3, 6)
3391   TEST (6, 2, 3, 6)
3392   TEST (7, 2, 3, 6)
3393   TEST (0, 3, 3, 6)
3394   TEST (1, 3, 3, 6)
3395   TEST (2, 3, 3, 6)
3396   TEST (3, 3, 3, 6)
3397   TEST (4, 3, 3, 6)
3398   TEST (5, 3, 3, 6)
3399   TEST (6, 3, 3, 6)
3400   TEST (7, 3, 3, 6)
3401   TEST (0, 4, 3, 6)
3402   TEST (1, 4, 3, 6)
3403   TEST (2, 4, 3, 6)
3404   TEST (3, 4, 3, 6)
3405   TEST (4, 4, 3, 6)
3406   TEST (5, 4, 3, 6)
3407   TEST (6, 4, 3, 6)
3408   TEST (7, 4, 3, 6)
3409   TEST (0, 5, 3, 6)
3410   TEST (1, 5, 3, 6)
3411   TEST (2, 5, 3, 6)
3412   TEST (3, 5, 3, 6)
3413   TEST (4, 5, 3, 6)
3414   TEST (5, 5, 3, 6)
3415   TEST (6, 5, 3, 6)
3416   TEST (7, 5, 3, 6)
3417   TEST (0, 6, 3, 6)
3418   TEST (1, 6, 3, 6)
3419   TEST (2, 6, 3, 6)
3420   TEST (3, 6, 3, 6)
3421   TEST (4, 6, 3, 6)
3422   TEST (5, 6, 3, 6)
3423   TEST (6, 6, 3, 6)
3424   TEST (7, 6, 3, 6)
3425   TEST (0, 7, 3, 6)
3426   TEST (1, 7, 3, 6)
3427   TEST (2, 7, 3, 6)
3428   TEST (3, 7, 3, 6)
3429   TEST (4, 7, 3, 6)
3430   TEST (5, 7, 3, 6)
3431   TEST (6, 7, 3, 6)
3432   TEST (7, 7, 3, 6)
3433 }
3434
3435 void check26(void)
3436 {
3437   TEST (0, 0, 4, 6)
3438   TEST (1, 0, 4, 6)
3439   TEST (2, 0, 4, 6)
3440   TEST (3, 0, 4, 6)
3441   TEST (4, 0, 4, 6)
3442   TEST (5, 0, 4, 6)
3443   TEST (6, 0, 4, 6)
3444   TEST (7, 0, 4, 6)
3445   TEST (0, 1, 4, 6)
3446   TEST (1, 1, 4, 6)
3447   TEST (2, 1, 4, 6)
3448   TEST (3, 1, 4, 6)
3449   TEST (4, 1, 4, 6)
3450   TEST (5, 1, 4, 6)
3451   TEST (6, 1, 4, 6)
3452   TEST (7, 1, 4, 6)
3453   TEST (0, 2, 4, 6)
3454   TEST (1, 2, 4, 6)
3455   TEST (2, 2, 4, 6)
3456   TEST (3, 2, 4, 6)
3457   TEST (4, 2, 4, 6)
3458   TEST (5, 2, 4, 6)
3459   TEST (6, 2, 4, 6)
3460   TEST (7, 2, 4, 6)
3461   TEST (0, 3, 4, 6)
3462   TEST (1, 3, 4, 6)
3463   TEST (2, 3, 4, 6)
3464   TEST (3, 3, 4, 6)
3465   TEST (4, 3, 4, 6)
3466   TEST (5, 3, 4, 6)
3467   TEST (6, 3, 4, 6)
3468   TEST (7, 3, 4, 6)
3469   TEST (0, 4, 4, 6)
3470   TEST (1, 4, 4, 6)
3471   TEST (2, 4, 4, 6)
3472   TEST (3, 4, 4, 6)
3473   TEST (4, 4, 4, 6)
3474   TEST (5, 4, 4, 6)
3475   TEST (6, 4, 4, 6)
3476   TEST (7, 4, 4, 6)
3477   TEST (0, 5, 4, 6)
3478   TEST (1, 5, 4, 6)
3479   TEST (2, 5, 4, 6)
3480   TEST (3, 5, 4, 6)
3481   TEST (4, 5, 4, 6)
3482   TEST (5, 5, 4, 6)
3483   TEST (6, 5, 4, 6)
3484   TEST (7, 5, 4, 6)
3485   TEST (0, 6, 4, 6)
3486   TEST (1, 6, 4, 6)
3487   TEST (2, 6, 4, 6)
3488   TEST (3, 6, 4, 6)
3489   TEST (4, 6, 4, 6)
3490   TEST (5, 6, 4, 6)
3491   TEST (6, 6, 4, 6)
3492   TEST (7, 6, 4, 6)
3493   TEST (0, 7, 4, 6)
3494   TEST (1, 7, 4, 6)
3495   TEST (2, 7, 4, 6)
3496   TEST (3, 7, 4, 6)
3497   TEST (4, 7, 4, 6)
3498   TEST (5, 7, 4, 6)
3499   TEST (6, 7, 4, 6)
3500   TEST (7, 7, 4, 6)
3501   TEST (0, 0, 5, 6)
3502   TEST (1, 0, 5, 6)
3503   TEST (2, 0, 5, 6)
3504   TEST (3, 0, 5, 6)
3505   TEST (4, 0, 5, 6)
3506   TEST (5, 0, 5, 6)
3507   TEST (6, 0, 5, 6)
3508   TEST (7, 0, 5, 6)
3509   TEST (0, 1, 5, 6)
3510   TEST (1, 1, 5, 6)
3511   TEST (2, 1, 5, 6)
3512   TEST (3, 1, 5, 6)
3513   TEST (4, 1, 5, 6)
3514   TEST (5, 1, 5, 6)
3515   TEST (6, 1, 5, 6)
3516   TEST (7, 1, 5, 6)
3517   TEST (0, 2, 5, 6)
3518   TEST (1, 2, 5, 6)
3519   TEST (2, 2, 5, 6)
3520   TEST (3, 2, 5, 6)
3521   TEST (4, 2, 5, 6)
3522   TEST (5, 2, 5, 6)
3523   TEST (6, 2, 5, 6)
3524   TEST (7, 2, 5, 6)
3525   TEST (0, 3, 5, 6)
3526   TEST (1, 3, 5, 6)
3527   TEST (2, 3, 5, 6)
3528   TEST (3, 3, 5, 6)
3529   TEST (4, 3, 5, 6)
3530   TEST (5, 3, 5, 6)
3531   TEST (6, 3, 5, 6)
3532   TEST (7, 3, 5, 6)
3533   TEST (0, 4, 5, 6)
3534   TEST (1, 4, 5, 6)
3535   TEST (2, 4, 5, 6)
3536   TEST (3, 4, 5, 6)
3537   TEST (4, 4, 5, 6)
3538   TEST (5, 4, 5, 6)
3539   TEST (6, 4, 5, 6)
3540   TEST (7, 4, 5, 6)
3541   TEST (0, 5, 5, 6)
3542   TEST (1, 5, 5, 6)
3543   TEST (2, 5, 5, 6)
3544   TEST (3, 5, 5, 6)
3545   TEST (4, 5, 5, 6)
3546   TEST (5, 5, 5, 6)
3547   TEST (6, 5, 5, 6)
3548   TEST (7, 5, 5, 6)
3549   TEST (0, 6, 5, 6)
3550   TEST (1, 6, 5, 6)
3551   TEST (2, 6, 5, 6)
3552   TEST (3, 6, 5, 6)
3553   TEST (4, 6, 5, 6)
3554   TEST (5, 6, 5, 6)
3555   TEST (6, 6, 5, 6)
3556   TEST (7, 6, 5, 6)
3557   TEST (0, 7, 5, 6)
3558   TEST (1, 7, 5, 6)
3559   TEST (2, 7, 5, 6)
3560   TEST (3, 7, 5, 6)
3561   TEST (4, 7, 5, 6)
3562   TEST (5, 7, 5, 6)
3563   TEST (6, 7, 5, 6)
3564   TEST (7, 7, 5, 6)
3565 }
3566
3567 void check27(void)
3568 {
3569   TEST (0, 0, 6, 6)
3570   TEST (1, 0, 6, 6)
3571   TEST (2, 0, 6, 6)
3572   TEST (3, 0, 6, 6)
3573   TEST (4, 0, 6, 6)
3574   TEST (5, 0, 6, 6)
3575   TEST (6, 0, 6, 6)
3576   TEST (7, 0, 6, 6)
3577   TEST (0, 1, 6, 6)
3578   TEST (1, 1, 6, 6)
3579   TEST (2, 1, 6, 6)
3580   TEST (3, 1, 6, 6)
3581   TEST (4, 1, 6, 6)
3582   TEST (5, 1, 6, 6)
3583   TEST (6, 1, 6, 6)
3584   TEST (7, 1, 6, 6)
3585   TEST (0, 2, 6, 6)
3586   TEST (1, 2, 6, 6)
3587   TEST (2, 2, 6, 6)
3588   TEST (3, 2, 6, 6)
3589   TEST (4, 2, 6, 6)
3590   TEST (5, 2, 6, 6)
3591   TEST (6, 2, 6, 6)
3592   TEST (7, 2, 6, 6)
3593   TEST (0, 3, 6, 6)
3594   TEST (1, 3, 6, 6)
3595   TEST (2, 3, 6, 6)
3596   TEST (3, 3, 6, 6)
3597   TEST (4, 3, 6, 6)
3598   TEST (5, 3, 6, 6)
3599   TEST (6, 3, 6, 6)
3600   TEST (7, 3, 6, 6)
3601   TEST (0, 4, 6, 6)
3602   TEST (1, 4, 6, 6)
3603   TEST (2, 4, 6, 6)
3604   TEST (3, 4, 6, 6)
3605   TEST (4, 4, 6, 6)
3606   TEST (5, 4, 6, 6)
3607   TEST (6, 4, 6, 6)
3608   TEST (7, 4, 6, 6)
3609   TEST (0, 5, 6, 6)
3610   TEST (1, 5, 6, 6)
3611   TEST (2, 5, 6, 6)
3612   TEST (3, 5, 6, 6)
3613   TEST (4, 5, 6, 6)
3614   TEST (5, 5, 6, 6)
3615   TEST (6, 5, 6, 6)
3616   TEST (7, 5, 6, 6)
3617   TEST (0, 6, 6, 6)
3618   TEST (1, 6, 6, 6)
3619   TEST (2, 6, 6, 6)
3620   TEST (3, 6, 6, 6)
3621   TEST (4, 6, 6, 6)
3622   TEST (5, 6, 6, 6)
3623   TEST (6, 6, 6, 6)
3624   TEST (7, 6, 6, 6)
3625   TEST (0, 7, 6, 6)
3626   TEST (1, 7, 6, 6)
3627   TEST (2, 7, 6, 6)
3628   TEST (3, 7, 6, 6)
3629   TEST (4, 7, 6, 6)
3630   TEST (5, 7, 6, 6)
3631   TEST (6, 7, 6, 6)
3632   TEST (7, 7, 6, 6)
3633   TEST (0, 0, 7, 6)
3634   TEST (1, 0, 7, 6)
3635   TEST (2, 0, 7, 6)
3636   TEST (3, 0, 7, 6)
3637   TEST (4, 0, 7, 6)
3638   TEST (5, 0, 7, 6)
3639   TEST (6, 0, 7, 6)
3640   TEST (7, 0, 7, 6)
3641   TEST (0, 1, 7, 6)
3642   TEST (1, 1, 7, 6)
3643   TEST (2, 1, 7, 6)
3644   TEST (3, 1, 7, 6)
3645   TEST (4, 1, 7, 6)
3646   TEST (5, 1, 7, 6)
3647   TEST (6, 1, 7, 6)
3648   TEST (7, 1, 7, 6)
3649   TEST (0, 2, 7, 6)
3650   TEST (1, 2, 7, 6)
3651   TEST (2, 2, 7, 6)
3652   TEST (3, 2, 7, 6)
3653   TEST (4, 2, 7, 6)
3654   TEST (5, 2, 7, 6)
3655   TEST (6, 2, 7, 6)
3656   TEST (7, 2, 7, 6)
3657   TEST (0, 3, 7, 6)
3658   TEST (1, 3, 7, 6)
3659   TEST (2, 3, 7, 6)
3660   TEST (3, 3, 7, 6)
3661   TEST (4, 3, 7, 6)
3662   TEST (5, 3, 7, 6)
3663   TEST (6, 3, 7, 6)
3664   TEST (7, 3, 7, 6)
3665   TEST (0, 4, 7, 6)
3666   TEST (1, 4, 7, 6)
3667   TEST (2, 4, 7, 6)
3668   TEST (3, 4, 7, 6)
3669   TEST (4, 4, 7, 6)
3670   TEST (5, 4, 7, 6)
3671   TEST (6, 4, 7, 6)
3672   TEST (7, 4, 7, 6)
3673   TEST (0, 5, 7, 6)
3674   TEST (1, 5, 7, 6)
3675   TEST (2, 5, 7, 6)
3676   TEST (3, 5, 7, 6)
3677   TEST (4, 5, 7, 6)
3678   TEST (5, 5, 7, 6)
3679   TEST (6, 5, 7, 6)
3680   TEST (7, 5, 7, 6)
3681   TEST (0, 6, 7, 6)
3682   TEST (1, 6, 7, 6)
3683   TEST (2, 6, 7, 6)
3684   TEST (3, 6, 7, 6)
3685   TEST (4, 6, 7, 6)
3686   TEST (5, 6, 7, 6)
3687   TEST (6, 6, 7, 6)
3688   TEST (7, 6, 7, 6)
3689   TEST (0, 7, 7, 6)
3690   TEST (1, 7, 7, 6)
3691   TEST (2, 7, 7, 6)
3692   TEST (3, 7, 7, 6)
3693   TEST (4, 7, 7, 6)
3694   TEST (5, 7, 7, 6)
3695   TEST (6, 7, 7, 6)
3696   TEST (7, 7, 7, 6)
3697 }
3698
3699 void check28(void)
3700 {
3701   TEST (0, 0, 0, 7)
3702   TEST (1, 0, 0, 7)
3703   TEST (2, 0, 0, 7)
3704   TEST (3, 0, 0, 7)
3705   TEST (4, 0, 0, 7)
3706   TEST (5, 0, 0, 7)
3707   TEST (6, 0, 0, 7)
3708   TEST (7, 0, 0, 7)
3709   TEST (0, 1, 0, 7)
3710   TEST (1, 1, 0, 7)
3711   TEST (2, 1, 0, 7)
3712   TEST (3, 1, 0, 7)
3713   TEST (4, 1, 0, 7)
3714   TEST (5, 1, 0, 7)
3715   TEST (6, 1, 0, 7)
3716   TEST (7, 1, 0, 7)
3717   TEST (0, 2, 0, 7)
3718   TEST (1, 2, 0, 7)
3719   TEST (2, 2, 0, 7)
3720   TEST (3, 2, 0, 7)
3721   TEST (4, 2, 0, 7)
3722   TEST (5, 2, 0, 7)
3723   TEST (6, 2, 0, 7)
3724   TEST (7, 2, 0, 7)
3725   TEST (0, 3, 0, 7)
3726   TEST (1, 3, 0, 7)
3727   TEST (2, 3, 0, 7)
3728   TEST (3, 3, 0, 7)
3729   TEST (4, 3, 0, 7)
3730   TEST (5, 3, 0, 7)
3731   TEST (6, 3, 0, 7)
3732   TEST (7, 3, 0, 7)
3733   TEST (0, 4, 0, 7)
3734   TEST (1, 4, 0, 7)
3735   TEST (2, 4, 0, 7)
3736   TEST (3, 4, 0, 7)
3737   TEST (4, 4, 0, 7)
3738   TEST (5, 4, 0, 7)
3739   TEST (6, 4, 0, 7)
3740   TEST (7, 4, 0, 7)
3741   TEST (0, 5, 0, 7)
3742   TEST (1, 5, 0, 7)
3743   TEST (2, 5, 0, 7)
3744   TEST (3, 5, 0, 7)
3745   TEST (4, 5, 0, 7)
3746   TEST (5, 5, 0, 7)
3747   TEST (6, 5, 0, 7)
3748   TEST (7, 5, 0, 7)
3749   TEST (0, 6, 0, 7)
3750   TEST (1, 6, 0, 7)
3751   TEST (2, 6, 0, 7)
3752   TEST (3, 6, 0, 7)
3753   TEST (4, 6, 0, 7)
3754   TEST (5, 6, 0, 7)
3755   TEST (6, 6, 0, 7)
3756   TEST (7, 6, 0, 7)
3757   TEST (0, 7, 0, 7)
3758   TEST (1, 7, 0, 7)
3759   TEST (2, 7, 0, 7)
3760   TEST (3, 7, 0, 7)
3761   TEST (4, 7, 0, 7)
3762   TEST (5, 7, 0, 7)
3763   TEST (6, 7, 0, 7)
3764   TEST (7, 7, 0, 7)
3765   TEST (0, 0, 1, 7)
3766   TEST (1, 0, 1, 7)
3767   TEST (2, 0, 1, 7)
3768   TEST (3, 0, 1, 7)
3769   TEST (4, 0, 1, 7)
3770   TEST (5, 0, 1, 7)
3771   TEST (6, 0, 1, 7)
3772   TEST (7, 0, 1, 7)
3773   TEST (0, 1, 1, 7)
3774   TEST (1, 1, 1, 7)
3775   TEST (2, 1, 1, 7)
3776   TEST (3, 1, 1, 7)
3777   TEST (4, 1, 1, 7)
3778   TEST (5, 1, 1, 7)
3779   TEST (6, 1, 1, 7)
3780   TEST (7, 1, 1, 7)
3781   TEST (0, 2, 1, 7)
3782   TEST (1, 2, 1, 7)
3783   TEST (2, 2, 1, 7)
3784   TEST (3, 2, 1, 7)
3785   TEST (4, 2, 1, 7)
3786   TEST (5, 2, 1, 7)
3787   TEST (6, 2, 1, 7)
3788   TEST (7, 2, 1, 7)
3789   TEST (0, 3, 1, 7)
3790   TEST (1, 3, 1, 7)
3791   TEST (2, 3, 1, 7)
3792   TEST (3, 3, 1, 7)
3793   TEST (4, 3, 1, 7)
3794   TEST (5, 3, 1, 7)
3795   TEST (6, 3, 1, 7)
3796   TEST (7, 3, 1, 7)
3797   TEST (0, 4, 1, 7)
3798   TEST (1, 4, 1, 7)
3799   TEST (2, 4, 1, 7)
3800   TEST (3, 4, 1, 7)
3801   TEST (4, 4, 1, 7)
3802   TEST (5, 4, 1, 7)
3803   TEST (6, 4, 1, 7)
3804   TEST (7, 4, 1, 7)
3805   TEST (0, 5, 1, 7)
3806   TEST (1, 5, 1, 7)
3807   TEST (2, 5, 1, 7)
3808   TEST (3, 5, 1, 7)
3809   TEST (4, 5, 1, 7)
3810   TEST (5, 5, 1, 7)
3811   TEST (6, 5, 1, 7)
3812   TEST (7, 5, 1, 7)
3813   TEST (0, 6, 1, 7)
3814   TEST (1, 6, 1, 7)
3815   TEST (2, 6, 1, 7)
3816   TEST (3, 6, 1, 7)
3817   TEST (4, 6, 1, 7)
3818   TEST (5, 6, 1, 7)
3819   TEST (6, 6, 1, 7)
3820   TEST (7, 6, 1, 7)
3821   TEST (0, 7, 1, 7)
3822   TEST (1, 7, 1, 7)
3823   TEST (2, 7, 1, 7)
3824   TEST (3, 7, 1, 7)
3825   TEST (4, 7, 1, 7)
3826   TEST (5, 7, 1, 7)
3827   TEST (6, 7, 1, 7)
3828   TEST (7, 7, 1, 7)
3829 }
3830
3831 void check29(void)
3832 {
3833   TEST (0, 0, 2, 7)
3834   TEST (1, 0, 2, 7)
3835   TEST (2, 0, 2, 7)
3836   TEST (3, 0, 2, 7)
3837   TEST (4, 0, 2, 7)
3838   TEST (5, 0, 2, 7)
3839   TEST (6, 0, 2, 7)
3840   TEST (7, 0, 2, 7)
3841   TEST (0, 1, 2, 7)
3842   TEST (1, 1, 2, 7)
3843   TEST (2, 1, 2, 7)
3844   TEST (3, 1, 2, 7)
3845   TEST (4, 1, 2, 7)
3846   TEST (5, 1, 2, 7)
3847   TEST (6, 1, 2, 7)
3848   TEST (7, 1, 2, 7)
3849   TEST (0, 2, 2, 7)
3850   TEST (1, 2, 2, 7)
3851   TEST (2, 2, 2, 7)
3852   TEST (3, 2, 2, 7)
3853   TEST (4, 2, 2, 7)
3854   TEST (5, 2, 2, 7)
3855   TEST (6, 2, 2, 7)
3856   TEST (7, 2, 2, 7)
3857   TEST (0, 3, 2, 7)
3858   TEST (1, 3, 2, 7)
3859   TEST (2, 3, 2, 7)
3860   TEST (3, 3, 2, 7)
3861   TEST (4, 3, 2, 7)
3862   TEST (5, 3, 2, 7)
3863   TEST (6, 3, 2, 7)
3864   TEST (7, 3, 2, 7)
3865   TEST (0, 4, 2, 7)
3866   TEST (1, 4, 2, 7)
3867   TEST (2, 4, 2, 7)
3868   TEST (3, 4, 2, 7)
3869   TEST (4, 4, 2, 7)
3870   TEST (5, 4, 2, 7)
3871   TEST (6, 4, 2, 7)
3872   TEST (7, 4, 2, 7)
3873   TEST (0, 5, 2, 7)
3874   TEST (1, 5, 2, 7)
3875   TEST (2, 5, 2, 7)
3876   TEST (3, 5, 2, 7)
3877   TEST (4, 5, 2, 7)
3878   TEST (5, 5, 2, 7)
3879   TEST (6, 5, 2, 7)
3880   TEST (7, 5, 2, 7)
3881   TEST (0, 6, 2, 7)
3882   TEST (1, 6, 2, 7)
3883   TEST (2, 6, 2, 7)
3884   TEST (3, 6, 2, 7)
3885   TEST (4, 6, 2, 7)
3886   TEST (5, 6, 2, 7)
3887   TEST (6, 6, 2, 7)
3888   TEST (7, 6, 2, 7)
3889   TEST (0, 7, 2, 7)
3890   TEST (1, 7, 2, 7)
3891   TEST (2, 7, 2, 7)
3892   TEST (3, 7, 2, 7)
3893   TEST (4, 7, 2, 7)
3894   TEST (5, 7, 2, 7)
3895   TEST (6, 7, 2, 7)
3896   TEST (7, 7, 2, 7)
3897   TEST (0, 0, 3, 7)
3898   TEST (1, 0, 3, 7)
3899   TEST (2, 0, 3, 7)
3900   TEST (3, 0, 3, 7)
3901   TEST (4, 0, 3, 7)
3902   TEST (5, 0, 3, 7)
3903   TEST (6, 0, 3, 7)
3904   TEST (7, 0, 3, 7)
3905   TEST (0, 1, 3, 7)
3906   TEST (1, 1, 3, 7)
3907   TEST (2, 1, 3, 7)
3908   TEST (3, 1, 3, 7)
3909   TEST (4, 1, 3, 7)
3910   TEST (5, 1, 3, 7)
3911   TEST (6, 1, 3, 7)
3912   TEST (7, 1, 3, 7)
3913   TEST (0, 2, 3, 7)
3914   TEST (1, 2, 3, 7)
3915   TEST (2, 2, 3, 7)
3916   TEST (3, 2, 3, 7)
3917   TEST (4, 2, 3, 7)
3918   TEST (5, 2, 3, 7)
3919   TEST (6, 2, 3, 7)
3920   TEST (7, 2, 3, 7)
3921   TEST (0, 3, 3, 7)
3922   TEST (1, 3, 3, 7)
3923   TEST (2, 3, 3, 7)
3924   TEST (3, 3, 3, 7)
3925   TEST (4, 3, 3, 7)
3926   TEST (5, 3, 3, 7)
3927   TEST (6, 3, 3, 7)
3928   TEST (7, 3, 3, 7)
3929   TEST (0, 4, 3, 7)
3930   TEST (1, 4, 3, 7)
3931   TEST (2, 4, 3, 7)
3932   TEST (3, 4, 3, 7)
3933   TEST (4, 4, 3, 7)
3934   TEST (5, 4, 3, 7)
3935   TEST (6, 4, 3, 7)
3936   TEST (7, 4, 3, 7)
3937   TEST (0, 5, 3, 7)
3938   TEST (1, 5, 3, 7)
3939   TEST (2, 5, 3, 7)
3940   TEST (3, 5, 3, 7)
3941   TEST (4, 5, 3, 7)
3942   TEST (5, 5, 3, 7)
3943   TEST (6, 5, 3, 7)
3944   TEST (7, 5, 3, 7)
3945   TEST (0, 6, 3, 7)
3946   TEST (1, 6, 3, 7)
3947   TEST (2, 6, 3, 7)
3948   TEST (3, 6, 3, 7)
3949   TEST (4, 6, 3, 7)
3950   TEST (5, 6, 3, 7)
3951   TEST (6, 6, 3, 7)
3952   TEST (7, 6, 3, 7)
3953   TEST (0, 7, 3, 7)
3954   TEST (1, 7, 3, 7)
3955   TEST (2, 7, 3, 7)
3956   TEST (3, 7, 3, 7)
3957   TEST (4, 7, 3, 7)
3958   TEST (5, 7, 3, 7)
3959   TEST (6, 7, 3, 7)
3960   TEST (7, 7, 3, 7)
3961 }
3962
3963 void check30(void)
3964 {
3965   TEST (0, 0, 4, 7)
3966   TEST (1, 0, 4, 7)
3967   TEST (2, 0, 4, 7)
3968   TEST (3, 0, 4, 7)
3969   TEST (4, 0, 4, 7)
3970   TEST (5, 0, 4, 7)
3971   TEST (6, 0, 4, 7)
3972   TEST (7, 0, 4, 7)
3973   TEST (0, 1, 4, 7)
3974   TEST (1, 1, 4, 7)
3975   TEST (2, 1, 4, 7)
3976   TEST (3, 1, 4, 7)
3977   TEST (4, 1, 4, 7)
3978   TEST (5, 1, 4, 7)
3979   TEST (6, 1, 4, 7)
3980   TEST (7, 1, 4, 7)
3981   TEST (0, 2, 4, 7)
3982   TEST (1, 2, 4, 7)
3983   TEST (2, 2, 4, 7)
3984   TEST (3, 2, 4, 7)
3985   TEST (4, 2, 4, 7)
3986   TEST (5, 2, 4, 7)
3987   TEST (6, 2, 4, 7)
3988   TEST (7, 2, 4, 7)
3989   TEST (0, 3, 4, 7)
3990   TEST (1, 3, 4, 7)
3991   TEST (2, 3, 4, 7)
3992   TEST (3, 3, 4, 7)
3993   TEST (4, 3, 4, 7)
3994   TEST (5, 3, 4, 7)
3995   TEST (6, 3, 4, 7)
3996   TEST (7, 3, 4, 7)
3997   TEST (0, 4, 4, 7)
3998   TEST (1, 4, 4, 7)
3999   TEST (2, 4, 4, 7)
4000   TEST (3, 4, 4, 7)
4001   TEST (4, 4, 4, 7)
4002   TEST (5, 4, 4, 7)
4003   TEST (6, 4, 4, 7)
4004   TEST (7, 4, 4, 7)
4005   TEST (0, 5, 4, 7)
4006   TEST (1, 5, 4, 7)
4007   TEST (2, 5, 4, 7)
4008   TEST (3, 5, 4, 7)
4009   TEST (4, 5, 4, 7)
4010   TEST (5, 5, 4, 7)
4011   TEST (6, 5, 4, 7)
4012   TEST (7, 5, 4, 7)
4013   TEST (0, 6, 4, 7)
4014   TEST (1, 6, 4, 7)
4015   TEST (2, 6, 4, 7)
4016   TEST (3, 6, 4, 7)
4017   TEST (4, 6, 4, 7)
4018   TEST (5, 6, 4, 7)
4019   TEST (6, 6, 4, 7)
4020   TEST (7, 6, 4, 7)
4021   TEST (0, 7, 4, 7)
4022   TEST (1, 7, 4, 7)
4023   TEST (2, 7, 4, 7)
4024   TEST (3, 7, 4, 7)
4025   TEST (4, 7, 4, 7)
4026   TEST (5, 7, 4, 7)
4027   TEST (6, 7, 4, 7)
4028   TEST (7, 7, 4, 7)
4029   TEST (0, 0, 5, 7)
4030   TEST (1, 0, 5, 7)
4031   TEST (2, 0, 5, 7)
4032   TEST (3, 0, 5, 7)
4033   TEST (4, 0, 5, 7)
4034   TEST (5, 0, 5, 7)
4035   TEST (6, 0, 5, 7)
4036   TEST (7, 0, 5, 7)
4037   TEST (0, 1, 5, 7)
4038   TEST (1, 1, 5, 7)
4039   TEST (2, 1, 5, 7)
4040   TEST (3, 1, 5, 7)
4041   TEST (4, 1, 5, 7)
4042   TEST (5, 1, 5, 7)
4043   TEST (6, 1, 5, 7)
4044   TEST (7, 1, 5, 7)
4045   TEST (0, 2, 5, 7)
4046   TEST (1, 2, 5, 7)
4047   TEST (2, 2, 5, 7)
4048   TEST (3, 2, 5, 7)
4049   TEST (4, 2, 5, 7)
4050   TEST (5, 2, 5, 7)
4051   TEST (6, 2, 5, 7)
4052   TEST (7, 2, 5, 7)
4053   TEST (0, 3, 5, 7)
4054   TEST (1, 3, 5, 7)
4055   TEST (2, 3, 5, 7)
4056   TEST (3, 3, 5, 7)
4057   TEST (4, 3, 5, 7)
4058   TEST (5, 3, 5, 7)
4059   TEST (6, 3, 5, 7)
4060   TEST (7, 3, 5, 7)
4061   TEST (0, 4, 5, 7)
4062   TEST (1, 4, 5, 7)
4063   TEST (2, 4, 5, 7)
4064   TEST (3, 4, 5, 7)
4065   TEST (4, 4, 5, 7)
4066   TEST (5, 4, 5, 7)
4067   TEST (6, 4, 5, 7)
4068   TEST (7, 4, 5, 7)
4069   TEST (0, 5, 5, 7)
4070   TEST (1, 5, 5, 7)
4071   TEST (2, 5, 5, 7)
4072   TEST (3, 5, 5, 7)
4073   TEST (4, 5, 5, 7)
4074   TEST (5, 5, 5, 7)
4075   TEST (6, 5, 5, 7)
4076   TEST (7, 5, 5, 7)
4077   TEST (0, 6, 5, 7)
4078   TEST (1, 6, 5, 7)
4079   TEST (2, 6, 5, 7)
4080   TEST (3, 6, 5, 7)
4081   TEST (4, 6, 5, 7)
4082   TEST (5, 6, 5, 7)
4083   TEST (6, 6, 5, 7)
4084   TEST (7, 6, 5, 7)
4085   TEST (0, 7, 5, 7)
4086   TEST (1, 7, 5, 7)
4087   TEST (2, 7, 5, 7)
4088   TEST (3, 7, 5, 7)
4089   TEST (4, 7, 5, 7)
4090   TEST (5, 7, 5, 7)
4091   TEST (6, 7, 5, 7)
4092   TEST (7, 7, 5, 7)
4093 }
4094
4095 void check31(void)
4096 {
4097   TEST (0, 0, 6, 7)
4098   TEST (1, 0, 6, 7)
4099   TEST (2, 0, 6, 7)
4100   TEST (3, 0, 6, 7)
4101   TEST (4, 0, 6, 7)
4102   TEST (5, 0, 6, 7)
4103   TEST (6, 0, 6, 7)
4104   TEST (7, 0, 6, 7)
4105   TEST (0, 1, 6, 7)
4106   TEST (1, 1, 6, 7)
4107   TEST (2, 1, 6, 7)
4108   TEST (3, 1, 6, 7)
4109   TEST (4, 1, 6, 7)
4110   TEST (5, 1, 6, 7)
4111   TEST (6, 1, 6, 7)
4112   TEST (7, 1, 6, 7)
4113   TEST (0, 2, 6, 7)
4114   TEST (1, 2, 6, 7)
4115   TEST (2, 2, 6, 7)
4116   TEST (3, 2, 6, 7)
4117   TEST (4, 2, 6, 7)
4118   TEST (5, 2, 6, 7)
4119   TEST (6, 2, 6, 7)
4120   TEST (7, 2, 6, 7)
4121   TEST (0, 3, 6, 7)
4122   TEST (1, 3, 6, 7)
4123   TEST (2, 3, 6, 7)
4124   TEST (3, 3, 6, 7)
4125   TEST (4, 3, 6, 7)
4126   TEST (5, 3, 6, 7)
4127   TEST (6, 3, 6, 7)
4128   TEST (7, 3, 6, 7)
4129   TEST (0, 4, 6, 7)
4130   TEST (1, 4, 6, 7)
4131   TEST (2, 4, 6, 7)
4132   TEST (3, 4, 6, 7)
4133   TEST (4, 4, 6, 7)
4134   TEST (5, 4, 6, 7)
4135   TEST (6, 4, 6, 7)
4136   TEST (7, 4, 6, 7)
4137   TEST (0, 5, 6, 7)
4138   TEST (1, 5, 6, 7)
4139   TEST (2, 5, 6, 7)
4140   TEST (3, 5, 6, 7)
4141   TEST (4, 5, 6, 7)
4142   TEST (5, 5, 6, 7)
4143   TEST (6, 5, 6, 7)
4144   TEST (7, 5, 6, 7)
4145   TEST (0, 6, 6, 7)
4146   TEST (1, 6, 6, 7)
4147   TEST (2, 6, 6, 7)
4148   TEST (3, 6, 6, 7)
4149   TEST (4, 6, 6, 7)
4150   TEST (5, 6, 6, 7)
4151   TEST (6, 6, 6, 7)
4152   TEST (7, 6, 6, 7)
4153   TEST (0, 7, 6, 7)
4154   TEST (1, 7, 6, 7)
4155   TEST (2, 7, 6, 7)
4156   TEST (3, 7, 6, 7)
4157   TEST (4, 7, 6, 7)
4158   TEST (5, 7, 6, 7)
4159   TEST (6, 7, 6, 7)
4160   TEST (7, 7, 6, 7)
4161   TEST (0, 0, 7, 7)
4162   TEST (1, 0, 7, 7)
4163   TEST (2, 0, 7, 7)
4164   TEST (3, 0, 7, 7)
4165   TEST (4, 0, 7, 7)
4166   TEST (5, 0, 7, 7)
4167   TEST (6, 0, 7, 7)
4168   TEST (7, 0, 7, 7)
4169   TEST (0, 1, 7, 7)
4170   TEST (1, 1, 7, 7)
4171   TEST (2, 1, 7, 7)
4172   TEST (3, 1, 7, 7)
4173   TEST (4, 1, 7, 7)
4174   TEST (5, 1, 7, 7)
4175   TEST (6, 1, 7, 7)
4176   TEST (7, 1, 7, 7)
4177   TEST (0, 2, 7, 7)
4178   TEST (1, 2, 7, 7)
4179   TEST (2, 2, 7, 7)
4180   TEST (3, 2, 7, 7)
4181   TEST (4, 2, 7, 7)
4182   TEST (5, 2, 7, 7)
4183   TEST (6, 2, 7, 7)
4184   TEST (7, 2, 7, 7)
4185   TEST (0, 3, 7, 7)
4186   TEST (1, 3, 7, 7)
4187   TEST (2, 3, 7, 7)
4188   TEST (3, 3, 7, 7)
4189   TEST (4, 3, 7, 7)
4190   TEST (5, 3, 7, 7)
4191   TEST (6, 3, 7, 7)
4192   TEST (7, 3, 7, 7)
4193   TEST (0, 4, 7, 7)
4194   TEST (1, 4, 7, 7)
4195   TEST (2, 4, 7, 7)
4196   TEST (3, 4, 7, 7)
4197   TEST (4, 4, 7, 7)
4198   TEST (5, 4, 7, 7)
4199   TEST (6, 4, 7, 7)
4200   TEST (7, 4, 7, 7)
4201   TEST (0, 5, 7, 7)
4202   TEST (1, 5, 7, 7)
4203   TEST (2, 5, 7, 7)
4204   TEST (3, 5, 7, 7)
4205   TEST (4, 5, 7, 7)
4206   TEST (5, 5, 7, 7)
4207   TEST (6, 5, 7, 7)
4208   TEST (7, 5, 7, 7)
4209   TEST (0, 6, 7, 7)
4210   TEST (1, 6, 7, 7)
4211   TEST (2, 6, 7, 7)
4212   TEST (3, 6, 7, 7)
4213   TEST (4, 6, 7, 7)
4214   TEST (5, 6, 7, 7)
4215   TEST (6, 6, 7, 7)
4216   TEST (7, 6, 7, 7)
4217   TEST (0, 7, 7, 7)
4218   TEST (1, 7, 7, 7)
4219   TEST (2, 7, 7, 7)
4220   TEST (3, 7, 7, 7)
4221   TEST (4, 7, 7, 7)
4222   TEST (5, 7, 7, 7)
4223   TEST (6, 7, 7, 7)
4224   TEST (7, 7, 7, 7)
4225 }
4226
4227 void check(void)
4228 {
4229   check0 ();
4230   check1 ();
4231   check2 ();
4232   check3 ();
4233   check4 ();
4234   check5 ();
4235   check6 ();
4236   check7 ();
4237   check8 ();
4238   check9 ();
4239   check10 ();
4240   check11 ();
4241   check12 ();
4242   check13 ();
4243   check14 ();
4244   check15 ();
4245   check16 ();
4246   check17 ();
4247   check18 ();
4248   check19 ();
4249   check20 ();
4250   check21 ();
4251   check22 ();
4252   check23 ();
4253   check24 ();
4254   check25 ();
4255   check26 ();
4256   check27 ();
4257   check28 ();
4258   check29 ();
4259   check30 ();
4260   check31 ();
4261 }
4262