#include "paccs.h"

main()
{
  int i, j;
  fd_int t = fd_new(1, 3);
  fd_int v = fd_new(1, 3);
  fd_int nsw = fd_new(1, 3);
  fd_int q = fd_new(1, 3);
  fd_int sa = fd_new(1, 3);
  fd_int nt = fd_new(1, 3);
  fd_int wa = fd_new(1, 3);
  int X_INTRODUCED_0[2] = { 1, -1 };

  if (fd_solve()) {
    fd_println(t);
    fd_println(v);
    fd_println(nsw);
    fd_println(q);
    fd_println(sa);
    fd_println(nt);
    fd_println(wa);
  }
}