-- verified for 1<=n<=8
test n =
  let ts = allcNLTex n in
  let ms = map snd (genROM_tutte' n)
  in
   (sort $ map sort $ map termsig ts) ==
   (sort $ map ((sort . map length) . verticesOM) ms)
test n =
  let ts = allcNLTex n in
  let ms = map snd (genROM_tutte' n)
  in
   (sort $ map sort $ map termsig ts) ==
   (sort $ map ((sort . map length) . verticesOM) ms)
test n =
  let ts = allcNLTex n in
  let ms = map snd (genROM_tutte' n)
  in
   (sort $ map sort $ map termsig ts) ==
   (sort $ map ((sort . map length) . verticesOM) ms)