Define Counter1 Reset Tick | x[1-7] y[1-7];
  Or aa ONE x[1];
  Or aa ONE x[2];
  Or aa ZERO x[3];
  Or aa ONE x[4];
  Or aa ONE x[5];
  Or aa ONE x[6];
  Or aa ONE x[7];

  Or aa ONE y[1];
  Or aa ONE y[2];
  Or aa ZERO y[3];
  Or aa ONE y[4];
  Or aa ZERO y[5];
  Or aa ONE y[6];
  Or aa ONE y[7];
Endef;