include 'implic.inc'
      include 'genpar.inc'