scheck  :: [Int] -> [([Int], Int, [Int])] -> Bool
scheck (n:ns) [(us, v, ws)] = (us ++ [v] ++ ws) == (n:ns)
scheck  :: [Int] -> [([Int], Int, [Int])] -> Bool
scheck (n:ns) [(us, v, ws)] = (us ++ [v] ++ ws) == (n:ns)
scheck (n:ns) [(us, v, ws)] = (us ++ [v] ++ ws) == (n:ns)